A very simple extension for detecting non-productive loops during URA (see notes for details)