Testing parsing mutiple nodes
Unification fails in case two terms' children's sizes are different