Lazy code motion (with retrospective)