modified:   definition_parser.py - if root is affected by unification, keep that machine, and unify   everything into that
modified:   definition_parser.py
- if root is affected by unification, keep that machine, and unify
  everything into that

Eszti/pymachine,recski/pymachine,kornai/pymachine,recski/pymachine,Eszti/pymachine,kornai/pymachine