(* Simplifications on conditions *) open Ast val simpl: Env.t -> condition -> condition val sctrue: condition val scfalse: condition