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