It would be nice if there was a way to tell compilers not to drop the lock stack and thus issue warnings when accessing a symbol that needs a lock inside Assume/Assert.

Hit by (at least): @ajtowns , @jnewbery , me.