add condition to  syntax.mli