Tested with IfElse_Valid_2 test case.