Astral_internal.IntroduceIfThenElse
val apply : ?forbidden_vars:SL.Variable.t list -> SL.t -> SL.t
val apply_ctx : ?forbidden_vars:SL.Variable.t list -> Context.t -> Context.t