Added a test to verify that ensure_inclusion_of cannot test boolean values

The new test is not passing yet because it requires a change