Testprogram to test unification