Loop detection of `followXUntilHit` does not work

[KuechA]

The look detection of followXUntilHit does not work properly. This problem should occur if there are alternating ways to loop on a call expression.

@morbitzer can you maybe provide an example?