sig
  val var2constraint : Ast.Ast.var -> Constraint.Constraint.cexp
  val ast2constraint : Ast.Ast.exp -> Constraint.Constraint.cexp
  val convert_constraints : Constraint.Constraint.cexp list -> string list
end