All constraints written
Move use case names into their section headers