use fixed definitions for isReduced() and deref()