+ } else if( option.equals("-disjoint-disable-global-sweep") ) {
+ state.DISJOINT_USE_GLOBAL_SWEEP = false;
+
+ } else if( option.equals("-disjoint-disable-strong-update") ) {
+ state.DISJOINT_USE_STRONG_UPDATE = false;
+
+ } else if( option.equals("-disjoint-disable-predicates") ) {
+ state.DISJOINT_USE_PREDICATES = false;
+
+ } else if( option.equals("-disjoint-summarize-per-class") ) {
+ state.DISJOINT_SUMMARIZE_PER_CLASS = true;
+
+