3. Parameter Error Checking
z3.5-error.cc
- cout vs. cerr; message vs. throw exception
