Changes:
  - removed obsolete mutual block in unification