Member predicate DataFlow::InstanceAccessExt::isExplicit

Holds if this is the explicit instance access ia.

predicate isExplicit(InstanceAccess ia)