(Program
{+(ExpressionStatements
    (Boolean))+}
{-(Return
    (Boolean))-})