Add Test-input generator. Run with racket