match_implies_inc
return_implies_state("refcount_add_not_zero", 1, 1, &match_implies_inc, INT_PTR(1));
return_implies_state("refcount_inc_not_zero", 1, 1, &match_implies_inc, INT_PTR(0));