Speed up cfg by evaluating exits only once

Author: Lipen

jacodb-ets/src/main/kotlin/org/jacodb/ets/model/CfgLinear.kt

@@ -33,10 +33,10 @@ class EtsLinearCfg(
 
     override val instructions: List<EtsStmt>
         get() = stmts
-    override val entries: List<EtsStmt>
-        get() = stmts.take(1)
-    override val exits: List<EtsTerminatingStmt>
-        get() = stmts.filterIsInstance<EtsTerminatingStmt>()
+    override val entries: List<EtsStmt> =
+        stmts.take(1)
+    override val exits: List<EtsTerminatingStmt> =
+        stmts.filterIsInstance<EtsTerminatingStmt>()
 
     private val successorsCache: MutableMap<EtsStmt, Set<EtsStmt>> = hashMapOf()