sig
  exception NoAssigns
  val get_assigns_from :
    loc:Cil_types.location ->
    Env.t ->
    Cil_types.logic_var list -> Cil_types.logic_var -> Cil_types.exp list
  val get_gmp_integer :
    loc:Cil_types.location -> Cil_types.varinfo -> Cil_types.exp
end