Use doWithState

Author: Lipen

usvm-ts/src/main/kotlin/org/usvm/machine/TsContext.kt

@@ -75,7 +75,7 @@ class TsContext(
 
         val ref = createFakeObjectRef()
 
-        scope.calcOnState {
+        scope.doWithState {
             when (sort) {
                 boolSort -> {
                     val lvalue = getIntermediateBoolLValue(ref.address)