^KT-60259 Fixed Merge-request: KT-MR-11182 Merged-by: Vladimir Sukharev <Vladimir.Sukharev@jetbrains.com>
Also remove any mentions of NewInference, and rename some tests.