Checks correctness of a seed.
function CheckSeed input Seed seed "Seed to be checked"; output Integer out "Results of the check"; end CheckSeed;