val parse: 
      tptppath:string -> string -> 
         (Ast.term * Ast.term) list * (Ast.term * Ast.term) list