Implemented inductive generalization in PDR