Create proveSyntacticalAnalysis