Throw IRE for non-EQ relations, too