added test for logical Not
added tests for Conditional with short-circuit