Grammar

choice(loop('expr', None),
       'if-statement')
line(
'if', 'expr', '{',
  loop('cmd', None),
'}'
)