Adapted to new PajeAligner specifications.
Minor changes
Parallelized the comparison for each level of the call hierarchy, fixed race conditions.