Tests inlining into a nested loop. SSAChecker should verify that
loop information was updated correctly.