User code can catch internal Linchek ForcibleExecutionFinishException by catching Exception

[avpotapov00]

We use ForcibleExecutionFinishException to break the execution if we have some sudden invocation result. However, tested code can catch some exceptions and don't re-throw them. If ForcibleExecutionFinishException is ignored, we may never know that execution was halted.

[ndkoval]

To fix the issue, you need to transform all catch blocks, propagating ForcibleExecutionFinishException

[ndkoval]

Let's fix it after #136

[ndkoval]

Let's simply make it an Error, and that will likely be enough in practice!