Member predicate TypeTracker::startInAttr
Holds if this is the starting point of type tracking, and the value starts in the attribute named attrName
.
The type tracking only ends after the attribute has been loaded.
predicate startInAttr(string attrName)