(Program (Begin (Identifier) (Ensure (Identifier))))