AssembleModel unable to analyze Kotlin constructors with not nullable reference parameters

[volivan239]

Description

Right now we are unable to properly assemble models if there are not nullable reference parameters in constructor -- such models are instantiated through reflection right now.

To Reproduce

Launch action on class Sample from below:

data class Point(var x: Int, var y: Int)

class Sample(val y: Point) {
 fun test(): Int {
 if (y.x == 2)
 return -1
 return 0
 }
}

Expected behavior

Tests with assembled models are generated.

Actual behavior

Classes are instantiated through reflection

Visual proofs (screenshots, logs, images)

@Test
fun testKek1() {
 val s = (createInstance("nullability.Sample") as Sample)
 val point = (createInstance("nullability.Point") as Point)
 point.x = 2
 setField(s, "nullability.Sample", "y", point)
 
 val actual = kek(s)
 
 assertEquals(-1, actual)
}

Environment

Symbolic execution 100%.

Additional context

Seems like the problem is that Kotlin compiler adds to constructor of Sample instructions like INVOKESTATIC kotlin/jvm/internal/Intrinsics.checkNotNullParameter (Ljava/lang/Object;Ljava/lang/String;)V

This leads to incorrect behavior of isAppropriate and other methods in ConstructorAnalyzer