sig
  val subst_all_literals_in_exp :
    Env.t ->
    Cil_types.kernel_function -> Cil_types.exp -> Cil_types.exp * Env.t
end