Use meaningful names for all test cases that do not test a specific warning or check.
Ensure tracing-related properties on objects are hidden from user code. This involves proxying two |Object| methods (runtime change) and the |in| operator (instrumentation change).