The "guard" instruction evaluates a symbolic expression, checks whether it is satisfiable, and adds the result to Path Condition.
The "event" instruction evaluates an expression to true or false without using any solver. If it is not possible, the expression is evaluated to false.