Turn untestable legacy code into comprehensive test suites in minutes - TypeScript implementation of SpecRec