[BUG?]: Some issue with seemingly trivial constructor

[BritikovKI]

Bug report

Bug description

It is not necessarily a bug, but just a behaviour curiosity. TgNonlin can produce tests for the whole constructors set of benchmarks except for one: constructor_4.sol. For this contract solving never reaches generating any tests.

This curious behavior may be connected to the unique architecture of the constructor, as constructor also calls a constructor of it's parent, passing as an input value a function call execution of his parent. This contract compiles though, so supposedly this behaviour is correct from the blockchain standpoint.

To reproduce

For a following file:
*Solidity
*CHC

TGNonlin follows this behavior:

1. Proceeds with a solving but never finds any tests

Expected behaviour

Multiple tests are generated to cover function f behaviour.

Files or input data

Execution command:

tgnonlin --keys contract_C4_91:state,msg.value,msg.sender^f__90:state,msg.value,msg.sender,a constructor_4_updated.smt2

Additional context