Enhanced tests to add assertion to check that each seed after the computation expression are different from the initial state.
Fixed codes.