I told you to do this first because the logic behind running the buggy system in SourceMarty is very poor and incomprehensible. I encountered this problem with version 5.7, so you should follow these steps one by one. After applying the first solution, if it doesn't work, then try the second...