Of course I added the reason below in a comment. This code block is of no use if we have already ignore the xab's in limits for isyms. I tested this with several test cases.