fix BCFFS implementation (state, inc/dec)