Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-14 23:13:06 -0700 (Tue, 14 Aug 2001)
Revision: 3372
Log message:
Added some terms for convinience and added more test
cases, many of which were for completeness, if nothing
else. The state related code should be fine by now.