sig
  val compute : Cil_types.file -> unit
  val add_syntactic_transformation :
    (Cil_types.file * bool -> Cil_types.file * bool) -> unit
  val apply_transformation :
    int -> Emitter.t -> Cil_types.file * bool -> Cil_types.file * bool
  val transformations_closure :
    Cil_types.file * bool -> Cil_types.file * bool
end