pushed is-empty? implementation error