exclude global, sometime, & goal verifier operators from postprocess_simple_global_constraint