diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt
index 5c5401de..8f1f73ab 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt
@@ -18,6 +18,7 @@ package jetbrains.mps.logic.reactor.core
 
 import jetbrains.mps.logic.reactor.evaluation.EvaluationFailureException
 import jetbrains.mps.logic.reactor.evaluation.EvaluationFeedback
+import jetbrains.mps.logic.reactor.evaluation.Solver
 
 import java.util.ArrayList
 
@@ -34,61 +35,25 @@ import java.util.ArrayList
  * @author Fedor Isakov
  */
 class EvaluationFailure : Feedback {
+    
+    private val message: String
+    private val cause: Throwable
 
-    /**
-     * Returns all messages, from more specific to more generic.
-     */
-    val allMessages: List<String>
-        get() {
-            val result = ArrayList<String>()
-            var curr: EvaluationFailure? = this
-            while (curr != null) {
-                if (curr.getMessage() != null) result.add(curr.getMessage()!!)
-                curr = curr.reason
-            }
-            return result
-        }
-
-    private var reason: EvaluationFailure? = null
-    private var message: String? = null
-    private var cause: Throwable? = null
-
-    constructor(ex: Throwable?) {
+    constructor(ex: Throwable) {
         this.cause = ex
-        this.message = ex?.message
+        this.message = ex.message ?: "<no message>"
     }
 
-    constructor(message: String?, ex: Throwable?) {
-        this.cause = ex
-        this.message = message
+    constructor(result: Solver.Result) {
+        this.cause = result.cause ?: IllegalStateException()
+        this.message = result.message ?: "<no message>"
     }
 
-    /**
-     * // TODO need a smarter way to supercede previously reported failure with a more specific one
-     * Constructs a more specific failure given a generic one.
-     */
-    constructor(reason: EvaluationFailure, message: String) {
-        this.reason = reason
-        this.message = message
-    }
+    override fun getMessage() = message
 
-    override fun getMessage(): String? {
-        return message
-    }
+    override fun getDetails() = null
 
-    override fun getDetails(): Any? {
-        return null
-    }
+    override fun getSeverity() = Severity.FAILURE
 
-    override fun getSeverity(): EvaluationFeedback.Severity {
-        return EvaluationFeedback.Severity.FAILURE
-    }
-
-    override fun failureCause(): Throwable? {
-        return getCause()
-    }
-
-    fun getCause(): Throwable? {
-        return if (cause != null) cause else reason?.getCause()
-    }
+    override fun failureCause() = cause
 }
diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt
index f18a1fe8..5a0c1959 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt
@@ -338,7 +338,7 @@ internal class ControllerImpl (
                 try {
                     block().let {
                         if (!it.isOk()) {
-                            failure = EvaluationFailure(it.message, it.cause);
+                            failure = EvaluationFailure(it);
                         }
                     }
 
diff --git a/reactor/Test/test/TestController.kt b/reactor/Test/test/TestController.kt
index 71db6e2b..93a3d08f 100644
--- a/reactor/Test/test/TestController.kt
+++ b/reactor/Test/test/TestController.kt
@@ -962,7 +962,7 @@ class TestController {
                 evaluate(occurrence("main"))
 
             } finally {
-                failures.map { (f, t) -> "${f.getCause()!!.message}@${t}" }.toList() shouldBe
+                failures.map { (f, t) -> "${f.message}@${t}" }.toList() shouldBe
                     listOf("unhandled@rule2", "unhandled@rule1", "unhandled@main")
             }
         }
@@ -1019,7 +1019,7 @@ class TestController {
                 occurrences(recovered).map { it.arguments()[0] }.toSet() shouldBe setOf(1, 2)
             }
         }
-        failures.map { (f, t) -> "${f.getCause()!!.message}@$t" }.toList() shouldBe
+        failures.map { (f, t) -> "${f.message}@$t" }.toList() shouldBe
             listOf("handled@rule3", "handled@recoverable")
     }