fixed a bug where OclPair.equals compares its right part with itself
(took me a half day to find the root cause)
DebugView does now show the right values for the variables (see parent
commit)