Part 6 - Bounded model checking done!