Edited Unassigned: Triggers in DafnyPrelude.bpl axiom [102]

For these two axioms in DafnyPrelude.bpl:

```
axiom (forall<U, V> u: U ::
{ Map#Domain(Map#Empty(): Map U V)[u] }
!Map#Domain(Map#Empty(): Map U V)[u]);

axiom (forall<U, V> u: U ::
{ IMap#Domain(IMap#Empty(): IMap U V)[u] }
!IMap#Domain(IMap#Empty(): IMap U V)[u]);
```

Z3 with /z3opt:pi.warnings=true /proverWarnings:1 gives a prover warning:

```
Prover warning: pattern does not contain all quantified variables.
```