public override int GetHashCode()
{
if (0 == hashCode)
{
hashCode = 17;
hashCode = 37 * hashCode + quantifier.GetHashCode();
foreach (Variable v in variables)
{
hashCode = 37 * hashCode + v.GetHashCode();
}
hashCode = hashCode * 37 + quantified.GetHashCode();
}
return hashCode;
}