Adding fixed TestCollatz files into public test