To understand better the behaviour of the program, several parts of the program should be benchmarked.

• the complete unification procedure
• each part of the unification loop
  • the normalisation
  • the solver
  • the reinjection of the solution
• the Hullot tree