We didn't finish the lhs transformation before replacing the rest of the formula.
mentioned in commit b4313396