Removing BranchIf.
Fixing some constant checks.
More aggressive constant propagation pass.