it "does not confuse variables across defs"