Modfied how the normalization phases of spceialize_branched_loops recurses into Variables. Only substitutes exprs for the variables if we are in a conditional expr, the variable is a boolean and the mutator has actually modified the expr, which implies that the expr was composed of logical connectives.