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