improvement to dimension computation unifier implementation