исправил логику работы RETURN теперь он кладет результат в ближайший EnterNode на стеке, так как выход может быть выполнен из любой глубины.

заработали демки с динамическими списками, осталось добиться их корректности

fw.go

@@ -36,7 +36,7 @@ func main() {
 	flag.Parse()
 	utils.Debug(debug)
 	if name == "" {
-		//utils.Debug2(false, true)
+		utils.Debug2(false, false)
 		//name = "XevDemo23"
 		//name = "XevDemo11"
 		//name = "XevDemo12"

rt2/rules2/wrap/eval/do.go

@@ -97,7 +97,7 @@ func GetExpression(in IN, key interface{}, expr node.Node, next Do) OUT {
 			}
 		}
 		v := rt2.RegOf(f)[key]
-		do(v != nil, 1961, key)
+		do(v != nil, 1961, " ", key)
 	})
 	return Later(func(IN) OUT {
 		return Now(next)

rt2/rules2/wrap/eval/stmt.go

@@ -332,8 +332,15 @@ func doReturn(in IN) OUT {
 			val, _ = rt2.RegOf(in.Frame)[context.RETURN].(scope.Value)
 		}
 		assert.For(val != nil, 40)
-		rt2.ValueOf(in.Parent)[r.Object().Adr()] = val
-		rt2.RegOf(in.Parent)[context.RETURN] = val
+		in.Frame.Root().ForEach(func(f frame.Frame) bool {
+			n := rt2.NodeOf(f)
+			_, done := n.(node.EnterNode)
+			if done {
+				rt2.ValueOf(f)[r.Object().Adr()] = val
+				rt2.RegOf(f)[context.RETURN] = val
+			}
+			return !done
+		})
 		return End()
 	})
 }