Two pieces of code is shown here, one with code contracts and one without.
Both pieces of code looks correct right? And when you run the regular code, you DO get a result, right? And there is no errors thrown, right?
But is the produced result correct???

Try the different samples and see if you can spot the bug!
Number of fibonacci numbers to compute 5 more numbers will be added in code.