* removed TreeReducible as we currently do not meet the required contract