Debugging PDR inductive gen