sig
val is_non_terminating_instr : Cil_types.stmt -> bool
type results
val get_results : unit -> Eva_results.results
val set_results : Eva_results.results -> unit
val merge :
Eva_results.results -> Eva_results.results -> Eva_results.results
val change_callstacks :
(Value_types.callstack -> Value_types.callstack) ->
Eva_results.results -> Eva_results.results
end