start loop invariant code motion
got basic loop invariant detection working