Linear unit-tests for invariance discovery