(Program
{+(ExpressionStatement
    (This))+}
{-(Return
    (This))-})