Description

Fixes from #1002 seems not to work properly if the model is produced by fuzzer.

To Reproduce

Launch action on the following class (use only fuzzer):

class Example() {
    var x: Int = 3
    fun f(): Int {
        return x
    }
}

Expected behavior

Tests are generated properly.

Actual behavior

Incorrect tests with calls to .setX() are generated.

Visual proofs (screenshots, logs, images)

Example of generated test:

@Test
@DisplayName("f: arg_0 = Example() -> return 1409199696")
fun testF() {
    val example = Example()
    example.setX(1409199696)
    
    val actual = example.f()
    
    assertEquals(1409199696, actual)
}

Environment

Test generation method -- Fuzzing 100%