Initial Commit : module type for network topology, protocol, lemmas and
verification file.