Updated test to reflect latest semantics of &def: and &set: