sig
val value_to_predicate_opt :
?loc:Cil_types.location ->
Cil_types.term -> Cvalue.V.t -> Cil_types.predicate option
val lval_to_predicate :
?loc:Cil_types.location ->
Cil_types.stmt -> Cil_types.lval -> Cil_types.predicate option
val exp_to_predicate :
?loc:Cil_types.location ->
Cil_types.stmt -> Cil_types.exp -> Cil_types.predicate option
end