after inlining, the loop-info is inconsistent