MODE-2002 Replaced "linear successor" check with "eventual successor" check

The new check is recursive. Added a test case for the issue.