a syntax validator for GreenPepper scenario