val simplify_t  : FixConstraint.t -> FixConstraint.t
val simplify_ts : FixConstraint.t list -> FixConstraint.t list
val is_tauto_t  : FixConstraint.t -> bool