if rP isn't used then can't the line before this just be `SHOULDFAIL ( new Region("r1", "nosuchnode", "") );`? Then we can remove rP altogether.