Redundant Block in IfElse branches