IsImmutableAcceptanceTest and ProperlyConstructedAcceptanceTest moved
into analyzer subpackage.