You can test for test vacuity with mutation testing, using tools like Stryker (for JS). In my experience this significantly helps models to write tests that actually test for correctness rather than aligned assumptions.