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)