Do you suggest changing specific signatures to Trees everywhere in the reificationSupport?