tests for if-construct edge case