(* Simplifications on statements and characters *) open Ast val simpl_character: character -> unit