unification benchmark
corrected unification benchmark
change to an explicit trail