I guess we could allow that, as GC is allowed in asserts as well and contracts are quite similar.

(At some point we might want to have some way to complain about all GC allocations though: If we implement the ```betterC``` idea at some point we'll have to error for all GC allocations, as the runtime won't even have a GC)