Sound behavior-equivalence verification for JavaScript/TypeScript refactors, using your own tests for inputs (Selfsame Protocol implementation)