condition

condition ::= expression 

This rule is called by

-> entry_barrier
-> exit_statement
-> guard
-> if_statement
-> loop_statement