Creates fresh diagnostic refinement instances for thread-safe analysis.
Creates a new diagnostic refinement instance.