PDR changes
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Implemented inductive generalization in PDR
Corrected PDR logical error
Corrected logical error in PDR inductive generalization
PDR inductive generalization
Implemented activity tracking of literals in inductive generalization
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Added statistics for tracking inductive generaliztion in PDR
Correcting flag issues, changing PDR inductive generalization hook locations
Debugging PDR inductive gen
Asserting I during inductive generalization on R_1
Added many assertions. PDR now fails if inductive generalization, unsat core, and block in future are all turned off
Merge pull request #150 from jbodeen/develop

Inductive Generalization in PDR