Clean a little bit \old(e) support.

Remove a useless code in the RAC. And move the `\old(e)` support from
the interpreter to the model.

1 files changed, 2 insertions, 7 deletions

diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 5f99c62..e0b8265 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -546,12 +546,7 @@ class Runtime extends AssertionChecker {
 
         foreach($clause as $name => $variable) {
 
-            $_name = $name;
-
-            if('\old(' === substr($name, 0, 5))
-                $_name = substr($name, 5, -1);
-
-            if(false === array_key_exists($_name, $data)) {
+            if(false === array_key_exists($name, $data)) {
 
                 $exceptions[] = new $exception(
                     'Variable %s is required and has no value.', 7, $name);
@@ -559,7 +554,7 @@ class Runtime extends AssertionChecker {
                 continue;
             }
 
-            $datum         = &$data[$_name];
+            $datum         = &$data[$name];
             $_verdict      = false;
             $traceVariable = null;