If anyone knows what on earth this error message means, please please let me know.

around PC=0x399b0, Nondeterministic read from stack beyond stack pointer at 0x24a920
around PC=0x399c0, Nondeterministic read from stack beyond stack pointer at 0x24a900
around PC=0x399c4, Nondeterministic read from stack beyond stack pointer at 0x24a8f8
around PC=0x39cdc, Nondeterministic read from stack beyond stack pointer at 0x24a920
around PC=0x399b0, Nondeterministic read from stack beyond stack pointer at 0x24a930
around PC=0x399c0, Nondeterministic read from stack beyond stack pointer at 0x24a910
around PC=0x399c4, Nondeterministic read from stack beyond stack pointer at 0x24a908
around PC=0x39cdc, Nondeterministic read from stack beyond stack pointer at 0x24a930

And yes I did figure out that its trying to non-deterministically read from the stack beyond the stack pointer. But why?

For your information I get this after running the program successfully. It seems to be occurring after my code finishes executing, which is what makes it so weird.