induction

induct

[default value: 1] 1 means perform induction variable substitution, 0 means do not.

induct_debug

[default value: 0] Debug level for induction variable substitution.

induct_subst

[default value: 1] If non- 0, substitute closed forms for uses of induction variabless in the program.