sig   type rcallstack   val empty : Gui_callstacks_filters.rcallstack   val from_callstack :     Value_types.callstack -> Gui_callstacks_filters.rcallstack   type filter = Gui_callstacks_filters.rcallstack list option   val callstack_matches :     Gui_callstacks_filters.filter ->     Gui_callstacks_filters.rcallstack -> bool   val callsite_matches :     Gui_callstacks_filters.filter -> Cil_types.stmt -> bool   val is_reachable_stmt :     Gui_callstacks_filters.filter -> Cil_types.stmt -> bool   val is_non_terminating_instr :     Gui_callstacks_filters.filter -> Cil_types.stmt -> bool   val set_callstacks_filter : Gui_callstacks_filters.filter -> unit end