The explicit reified rules which do not need nested counters, seems to work...