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