The block passed to `expect` is empty, so obviously it's not changing anything.  Therefore, any `change` expecation should fail.  Clearly `k` isn't changing.