Warn if using inductive step without BMC
Merge pull request #173 from chsticksel/develop

Warn if using inductive step without BMC