plugging unifier in DimensionsComputation