Code review fixes

  * Finally removed asterisk package import
  * Formatting fix in the design doc

Author: dtim

docs/SpeculativeFieldNonNullability.md

@@ -9,7 +9,7 @@ the hard constraint `addr(field) == null`.
 
 If the field is marked as `@NotNull`, a hard constraint `addr(field) != null` is generated
 for it. If both constraints have been generated simultaneously, the `NPE` branch is discarded
-as the constraint set is unsatisfiable. 
+as the constraint set is unsatisfiable.
 
 If a field does not have `@NotNull` annotation, the `NPE` branch will be kept. This behavior
 is desirable, as it increases the coverage, but it has a downside. It is possible that

utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt

@@ -34,7 +34,56 @@ import org.utbot.engine.MockStrategy.NO_MOCKS
 import org.utbot.engine.overrides.UtArrayMock
 import org.utbot.engine.overrides.UtLogicMock
 import org.utbot.engine.overrides.UtOverrideMock
-import org.utbot.engine.pc.*
+import org.utbot.engine.pc.NotBoolExpression
+import org.utbot.engine.pc.UtAddNoOverflowExpression
+import org.utbot.engine.pc.UtAddrExpression
+import org.utbot.engine.pc.UtAndBoolExpression
+import org.utbot.engine.pc.UtArrayApplyForAll
+import org.utbot.engine.pc.UtArrayExpressionBase
+import org.utbot.engine.pc.UtArraySelectExpression
+import org.utbot.engine.pc.UtArraySetRange
+import org.utbot.engine.pc.UtArraySort
+import org.utbot.engine.pc.UtBoolExpression
+import org.utbot.engine.pc.UtBoolOpExpression
+import org.utbot.engine.pc.UtBvConst
+import org.utbot.engine.pc.UtBvLiteral
+import org.utbot.engine.pc.UtByteSort
+import org.utbot.engine.pc.UtCastExpression
+import org.utbot.engine.pc.UtCharSort
+import org.utbot.engine.pc.UtContextInitializer
+import org.utbot.engine.pc.UtExpression
+import org.utbot.engine.pc.UtFalse
+import org.utbot.engine.pc.UtInstanceOfExpression
+import org.utbot.engine.pc.UtIntSort
+import org.utbot.engine.pc.UtIsExpression
+import org.utbot.engine.pc.UtIteExpression
+import org.utbot.engine.pc.UtLongSort
+import org.utbot.engine.pc.UtMkTermArrayExpression
+import org.utbot.engine.pc.UtNegExpression
+import org.utbot.engine.pc.UtOrBoolExpression
+import org.utbot.engine.pc.UtPrimitiveSort
+import org.utbot.engine.pc.UtShortSort
+import org.utbot.engine.pc.UtSolver
+import org.utbot.engine.pc.UtSolverStatusSAT
+import org.utbot.engine.pc.UtSubNoOverflowExpression
+import org.utbot.engine.pc.UtTrue
+import org.utbot.engine.pc.addrEq
+import org.utbot.engine.pc.align
+import org.utbot.engine.pc.cast
+import org.utbot.engine.pc.findTheMostNestedAddr
+import org.utbot.engine.pc.isInteger
+import org.utbot.engine.pc.mkAnd
+import org.utbot.engine.pc.mkBVConst
+import org.utbot.engine.pc.mkBoolConst
+import org.utbot.engine.pc.mkChar
+import org.utbot.engine.pc.mkEq
+import org.utbot.engine.pc.mkFalse
+import org.utbot.engine.pc.mkFpConst
+import org.utbot.engine.pc.mkInt
+import org.utbot.engine.pc.mkNot
+import org.utbot.engine.pc.mkOr
+import org.utbot.engine.pc.select
+import org.utbot.engine.pc.store
 import org.utbot.engine.selectors.PathSelector
 import org.utbot.engine.selectors.StrategyOption
 import org.utbot.engine.selectors.coveredNewSelector