Astral_internal.NegationNormalisation
val is_negation : SL.t -> bool
val get_negation : SL.t -> SL.t
val normalise : SL.t -> SL.t
val apply : SL.t -> SL.t
Perform normalisation until fixpoint is reached TODO: single pass?
val apply_ctx : Context.t -> Context.t