What Is an Invariant site:softwareengineering.stackexchange.com - Search