Sanity checks against assigning the same value multiple times