condition

condition ::= expression 

[rule list]
This rule is called by

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