Briefly: JavaScript infer parameter type from usages

Problem: I need to automatically type infering over functions for further use of types in the fuzzer.

More details: For fuzzing I need to know what type of variable can be. At the moment I am able to collect constants thanks to the parser and the AST tree. But, unfortunately, I did not find a tool for automatic type search by usage in the code. I would like to know if there is a utility that allows you to accept JavaScript code as input and output JavaScript(or even a TypeScript) code with anatations, as in the screenshot.

Infer parameter types from usages

Thanks!