Added has-zero?
Added satsifies? check to state-transformer