add test with time reversible invariants