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