Back out fold (shl (add x, c1), c2) -> (add (shl x, c2), c1<<c2) for now.