Add tests to B14 to check that each expression is evaluated exactly once