Base and step now stop at flags.bmc_max.
Merge pull request #160 from AdrienChampion/feature_k-induction-max-k

Base and step now stop at flags.bmc_max.