Several UI corrections

Author: EgorkaKulikov

gradle.properties

@@ -20,7 +20,7 @@ buildType=NOJS
 
 # IDE types that supports appropriate language
 javaIde=IC,IU
-pythonIde=IC,IU,PC,PY
+pythonIde=PC,PY
 jsIde=IU,PY
 jsBuild=ALL
 goIde=IU,GO

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

@@ -101,7 +101,6 @@ object UsvmSymbolicEngine {
                         executionConverter.convert()
                     }.getOrElse { e ->
                         logger.warn(e) { "JcToUtExecutionConverter.convert(${jcExecution.method.method}) failed" }
-
                         val initialState = executionConverter.convertInitialStateOnly()
                         val concreteExecutor =
                             ConcreteExecutor(concreteExecutionContext.instrumentationFactory, classpath)