entry_barrier
entry_barrier
::=
"when"
condition
[rule list]
This rule is called by
->
entry_body
