Entwurfsmusterbasierte Erweiterung von Klassenhierarchien zur Unterstützung laufzeitinvarianter Prüfungen