Symbolic engine dies trying analyze large enum with `static` initializer block (e.g. `HttpStatusCode`)

[IlyaMuravjov]

Description

Symbolic engine is unable to generate any test for the following method in 60 seconds even when Mock everything outside the class mocking strategy is used and Mock static methods is enabled (HttpStatus class can be found here: HttpStatus.zip).

public HttpStatus methodUnderTest() {
    return HttpStatus.OK;
}

To Reproduce

Settings:

• 100% Symbolic execution
• Mock everything outside the class mocking strategy
• Mock static methods enabled

Generate tests for methodUnderTest().

Expected behavior

One test is generated

Actual behavior

No tests are generated