Update ProofTest

it will now return true for toString. But it does not matter much because the lists are not updating the way they should be when it comes to exception handling.