switch to anchored match; change 'found' instruction to 'halt'
fix: union of no sets