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