ProhibitFirstBooleanArgInvariant under development