Revert "ApiAnnotations : Nested forall loses forall annotation"