2016-10-11: FIX: only used the first re-definition

FIX: only used the first re-definition

diff --git a/examples/enter-three-witches.w b/examples/enter-three-witches.w
--- a/examples/enter-three-witches.w
+++ b/examples/enter-three-witches.w
@@ -190,11 +190,11 @@ define-syntax Enter
        ; newline
    : _ (name more ...) b ...
      ; existing binding: Just allow using this. TODO: Make the checking happen at compile time.
-     with-syntax ((oldname (datum->syntax x 'name)))
-       #' begin 
-          set! introduced-names : cons '(name more ...) introduced-names
+     #' begin
+        Enter b ...
+        set! introduced-names : cons '(name more ...) introduced-names
    : _ b ...
-     #' begin 
+     #' begin #t
 
 
 define : main args