Minor changes.
Fixed module.
Removed unnecessary pragma.
Added missing doc.
Merge branch 'master' into abp-trivial-bisimulation