rule RlStatements {
    <.term>?
    [   <TkStatement>
        [   <.TkTerm>+
        |   <.before <TkEndBlock>>
        |   $
        |   <panic: Unterminated Statement>
        ]
    ]*
    {*}
}

rule stmts {
    <.term>?[ <stmt> [<.term>+ | <.before <end_block>> | $ | <panic: unterminated statement>] ]* {*}
}