sig
  exception No_simple_translation of Cil_types.predicate
  val untyped_to_exp : Cil_types.predicate -> Cil_types.exp
end