Add some more auto-vivification tests