invariants examples site:softwareengineering.stackexchange.com - Search