minimal UCCs, null != null