Check style for Context
Correcting format
Check style on ClosureSystem
Change fichier
Check style on ClosureSystem
Add uml graph for ClosureSystem and Context