Testclasses added, documentation updated.
Class invariants Worm class added.