void Default1( const SymbolicVal &v1, const SymbolicVal &v2)
{
if (v1.IsSame(v2))
result = REL_EQ;
else if (v1.IsNIL() || v2.IsNIL())
result = REL_UNKNOWN;
else if (v1 == v2)
result = REL_EQ;
else
result = REL_UNKNOWN;
}
bool Equal(const SymbolicVal &v1, const SymbolicVal& v2)
{ return v1.IsSame(v2)? true : ValEQ()(v1,v2); }
