added checks if the actions of reaction effects are expressions that have an effect (assignment, event raising, operation calls. Simple operations with no parameters do not need braces...