Relations shadow-enclosing/2 and shadow-ancestor|..../2.
Closes #10