Split headers into logical units#354

protz wants to merge 4 commits intomainAeneasVerif/eurydice:mainfrom

protz/split-headersAeneasVerif/eurydice:protz/split-headersCopy head branch name to clipboard