optimized back-edge recognition