Added a unifier implementations to dimension computation