Adding graph extraction from unifications.