 
 
 
E.2  Module structure
The general form of a module is:
- 
module definition
- module comment or inclusion of a spec file
- exported/reexported predicates
- used modules
- used libraries
- local variable definitions 
- other global operations and settings
- predicate definitions
 
 
