Since the initial version of `infs` was merged in #112, its usage should be integrated into vscode-inference.