sig
  val sym : Ast.Ast.exp -> bool
  val get_constraint_vars :
    string list -> Constraint.Constraint.cexp -> string list
  val get_sym_vars : Ast.Ast.exp -> Ast.Ast.var list
end