StackOverflowError when calling summarize of DefaultPreciseReferenceValues

[Frederik Buss-Joraschek]

Add this to DefaultPreciseReferenceValuesTest.scala

it should ("not crash") in {
    nullRef = AReferenceValue(444, ObjectType.Object, Yes, true)
    summarize(-1, List(ref1, nullRef, ref2))
}

[Michael Eichberg]

The issue is now resolved. (A NullValue now needs to be created using the respective factory method.)

Thanks for submitting the test case. It is now integrated.