As manipulations are made, Cover information gets out of date. A \e dirty flag is used to indicate a particular HighVariable Cover is out-of-date. This routine checks the \e dirty flag and updates the Cover information if it is set. \param a is the HighVariable to update \return \b true if the HighVariable was not originally dirty
source not stored for this graph (policy: none)
no test coverage detected