sig
  val backward_binop :
    typ_res:Cil_types.typ ->
    res_value:Cvalue.V.t ->
    typ_e1:Cil_types.typ ->
    Cvalue.V.t ->
    Cil_types.binop -> Cvalue.V.t -> (Cvalue.V.t * Cvalue.V.t) option
  val backward_unop :
    typ_arg:Cil_types.typ ->
    Cil_types.unop -> arg:Cvalue.V.t -> res:Cvalue.V.t -> Cvalue.V.t option
  val backward_cast :
    src_typ:Cil_types.typ ->
    dst_typ:Cil_types.typ ->
    src_val:Cvalue.V.t -> dst_val:Cvalue.V.t -> Cvalue.V.t option
end