Emit "assume {:nonnull}" at memory access
Emit "assume {:nonnull}" at memory access

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral