Fixed up first stage splitting for let and if, in the theory.