stub for testing ProhibitFirstBooleanArgInvariant
MANIFEST add
add some should-not-fire tests
add test cases that should elicit warnings