proper lub for method entry blocks with back-edges