ApiAnnotations : AST version of nested forall loses forall annotation