Corrected logical error in PDR inductive generalization