A Specification-by-Example-driven solution for the Fizz-Buzz game