Implemented activity tracking of literals in inductive generalization