Modified normalize_branch_conditions to include the pruning step after normalizing. Removed the pruning functions from the public header file. Commented out the NormalizeBranches::visit(Variable) method, as it is not clear if this method needs to examine the bound variables in the scope or not, and if it does whether or not it can do it safely.