Guarantee that only IValues are assigned to non-loal variables.