diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
index ab8e8931..b200fd5a 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
@@ -38,10 +38,6 @@ internal class EvaluationSessionImpl private constructor (
 
     lateinit var controller: ControllerImpl
 
-    override fun program(): Program = program
-
-    override fun supervisor(): Supervisor = supervisor
-
     @Suppress("UNCHECKED_CAST")
     override fun <T : Any> parameter(key: ParameterKey<T>): T? = params ?.get(key) as T
 
@@ -50,7 +46,7 @@ internal class EvaluationSessionImpl private constructor (
         token: SessionToken?, rulesDiff: RulesDiff, ispec: IncrementalProgramSpec
     ) : FeedbackStatus {
 
-        val ruleIndex = RuleIndex(program().handlers())
+        val ruleIndex = RuleIndex(program.handlers())
         val dispatcher = Dispatcher(ruleIndex)
 
         if (ispec is IncrementalProgramSpec.NonIncrSpec || token == null) {
diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
index a35f152d..141483fb 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
@@ -49,10 +49,6 @@ public abstract class EvaluationSession {
         return ourBackend.createConfig(program);
     }
 
-    public abstract Program program();
-
-    public abstract Supervisor supervisor();
-    
     public abstract <T> T parameter(ParameterKey<T> key);
 
     public static class ParameterKey<T> {
diff --git a/reactor/Test/test/TestController.kt b/reactor/Test/test/TestController.kt
index f9345019..2e0e14e4 100644
--- a/reactor/Test/test/TestController.kt
+++ b/reactor/Test/test/TestController.kt
@@ -35,10 +35,6 @@ class TestController {
     private class MockSession(val program: Program, val supervisor: Supervisor) : EvaluationSession()
     {
         lateinit var controller: Controller
-        
-        override fun program(): Program = program
-
-        override fun supervisor(): Supervisor = supervisor
 
         override fun <T : Any?> parameter(key: ParameterKey<T>?): T = TODO()