Test Case Language
Test case: < trace, expExc, actVal, expVal, type >
trace: a trace used to exercise the package
expExc: exception that trace is expected to generate
actVal: expression evaluated after trace
expVal: the value that actVal is expected to have
type: the data type of actVal and expVal