rm NetworkModel_Composition_Theory_legacy.thy