Test the parser
Pass type checking