Refactor isReduced from RT to Util