Reducing verbosity of the unification test script