--- old+++ new@@ -1 +1 @@-Reflect Event-B structure in code.+Reflect Event-B structure in code. In particular contexts to interfaces, and make the main entry an optional preference.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Diff: