Predicate Shadowing::ancestorScope

predicate ancestorScope(Element b1, Element b2)