Method intersection

\brief Test the intersection of two HighVariables and cache the result If the Covers of the two variables intersect, this routine returns \b true. To avoid expensive computation on the Cover objects themselves, the test result associated with the pair of HighVariables is cached. \param a is the first HighVariable \param b is the second HighVariable \return \b true if the variables intersect