renamed test Annotations: @ProperlyConstructed to @NoBugsExpected and
@ImproperlyConstructed to @BugsExpected
added StateUnmodifiableAcceptanceTest
fixed bug in ClassAnalyzer.stateUnmodifiable()