Make quantifier splitting a two step process

This fixes a bug that affected Monad.dfy

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index c4ea0a5a..c7aae173 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -4796,7 +4796,7 @@ namespace Microsoft.Dafny {
     }

     public override IEnumerable<Expression> SubExpressions

     {

-      get {

+      get { // FIXME: This can return duplicates; this could confuse BottomUpVisitors that modify the AST in place

         foreach (var e in base.SubExpressions) { yield return e; }

         foreach (var e in Attributes.SubExpressions(Attributes)) { yield return e; }