Fix comments

Author: sergeypospelov

utbot-framework/src/main/java/org/utbot/engine/overrides/UtArrayMock.java

@@ -5,7 +5,7 @@
 
 /**
  * Auxiliary class with static methods without implementation.
- * These static methods are just markers for {@link org.utbot.engine.UtBotSymbolicEngine}.,
+ * These static methods are just markers for {@link org.utbot.engine.Traverser}.,
  * to do some corresponding behavior, that can't be represent
  * with java instructions.
  * <p>

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

@@ -17,6 +17,8 @@ import org.utbot.framework.plugin.api.Step
 import soot.SootMethod
 import soot.jimple.Stmt
 import java.util.Objects
+import org.utbot.engine.symbolic.Assumption
+import org.utbot.framework.plugin.api.UtExecution
 
 const val RETURN_DECISION_NUM = -1
 const val CALL_DECISION_NUM = -2
@@ -29,11 +31,11 @@ data class Edge(val src: Stmt, val dst: Stmt, val decisionNum: Int)
  * [INTERMEDIATE] is a label for an intermediate state which is suitable for further symbolic analysis.
  *
  * [TERMINAL] is a label for a terminal state from which we might (or might not) execute concretely and construct
- * UtExecution. This state represents the final state of the program execution, that is a throw or return from the outer
+ * [UtExecution]. This state represents the final state of the program execution, that is a throw or return from the outer
  * method.
  *
  * [CONCRETE] is a label for a state which is not suitable for further symbolic analysis and it is also not a terminal
- * state. Such states are only suitable for a concrete execution and may appear from Assumptions constraints
+ * state. Such states are only suitable for a concrete execution and may appear from [Assumption]s.
  */
 enum class StateLabel {
     INTERMEDIATE,