Can now create Use Cases in a Domain and add pre/post conditions.
Post-condition is tested
Add a few tests