Fix & test for new-fact counter with value != 0
Fix destructuring