sig
  exception No_simple_term_translation of Cil_types.term
  val untyped_term_to_exp :
    Cil_types.typ option -> Cil_types.term -> Cil_types.exp
  exception No_simple_predicate_translation of Cil_types.predicate
  val untyped_predicate_to_exp : Cil_types.predicate -> Cil_types.exp
end