module Split_return:sig
..end
add to kf
hints to split on all integers in s
.
val join_final_states : Cil_types.kernel_function ->
return_lv:Cil_types.lval option -> State_set.t -> Cvalue.Model.t list
val pretty_strategies : unit -> unit