Yet another complete rewrite of Slant's loop detection during