Nested loop evaluation should be based upon available blocks rather than fully iterating the inner side. The simplest approach is to just match a single block from the left and right at a time.