LOGIC-119: quick fix to ensure disunify on maps can deal with non-map other.