Correcting flag issues, changing PDR inductive generalization hook locations