Add DisableIfOperator option
#881
+43
−2
Merged
DisableIfOperator option
#881