4,19c4,19
< unify(...)   done
< unify(...)
< unify(...)
< unify(...)
< unify(...)
< unify(...)   done
< unify(...)   done
< unify(...)
< unify(...)   done
< unify(...)   done
< unify(...)
< unify(...)
< unify(...)
< unify(...)   done
< unify(...)   done
< unify(...)   done
---
> unify(0,0)   done
> unify(1,0)
> unify(1,0)
> unify(1,0)
> unify(0,1)
> unify(1,1)   done
> unify(1,1)   done
> unify(0,1)
> unify(1,1)   done
> unify(0,0)   done
> unify(1,0)
> unify(1,0)
> unify(1,0)
> unify(1,1)   done
> unify(1,1)   done
> unify(1,1)   done
