1Tests loop information update after DCE because block removal can disconnect loops, leaving other 2live blocks outside the loop they had been a member of.