Astral_internal.QuantifierElimination
val apply : SL_graph.t -> SL.t -> SL.t
val apply_ctx : Context.t -> Context.t