If I run the program in my Opinion it does, what it should do, but the verification seems to think different about it. Who can give me some advice?