Add tests for short-circuiting of boolean ops