let reset () = DpdsState.clear (); ShowDef.clear (); Zones.clear (); DataScope.clear (); Pscope.clear (); Kf_containing_highlighted_stmt.clear (); !update_visibility ()