Condition for CaseClassPattern without subpatterns is equality