Problem with object reference compares in postconditions, fixes #388