Auxiliary data structure to have an explicit result of inference
remove boilerplate hardcoded counters (#39)