some minor bugfixes
added inheritance support
minor bugfixes for the annotation parsing
bugfix for proxy cache handling
removed interface tests
omits invariant check if there is no invariant defined