Linear unit-tests for invariance discovery | Read Paper on Bytez