Added first stab at P40 (**) Goldbach's conjecture
Added precondition for problem 40 and generative test using test.check