Fixed collecting of implicit equalities.