A unifier implementation for Dimensions Computation