Astral_internal.Backend_preprocessor
val unfold_disjoint : SMT.t list -> Astral_internal__SMT.t
val apply : SMT.t -> SMT.t