Create StrongNat_syntax_problem.idr