/**
* Does the current state of the algorithm optimistically assume that a vertex v is congruent to
* the vertices in a congruence class? Note: this can return true even if if the value numbers
* don't currently match.
*
* @param v the vertex in question
* @param c the congurence class to check
* @return true or false
*/
private boolean checkCongruence(OPT_ValueGraphVertex v, OPT_GVCongruenceClass c) {
OPT_ValueGraphVertex r = c.getRepresentative();
boolean result = checkCongruence(r, v);
return result;
}
