Collatz example
Rename jsverifySpec to examplesSpec