Adds isNonZero to AdjoinedRing