Predicate AV Rule 139::twoDeclarations

predicate twoDeclarations(Declaration element, Location l1, Location l2)