Added tests that test the correctness of procedures and the correctness of the exceptions they throw.