Correctly detects loop preheader for a nested depth of 2