target names of actions and guards, precedence of binary operators, in_state used in expressions