test package:mappings

Test if a variable is true (specialised to Bool)
A building block for BDD's - tests if a variable is true