Invariants: A better debugger? | Heykuki News