Added ifAReturnsNonZero