CompleteVarMap -- A subclass of ProbeMap, whose initial state contains no MessageProbes.
Description
A subclass of ProbeMap, whose initial state contains no MessageProbes, but does contain all the VarProbes of the requested target class and those of all its superclasses.