demotion algorithm is now correct
remove references to posAry2 and just do the r1 updates dynamically like we do in _progress
make sure deps are correct
dont need to go through the match - already done when making the posAry replacement