- added diagrams for EMF models
- fixed INCONCLUSIVE verdict failure