Implemented getExitMonitor() in MonitorAnalysis.
Merge branch 'monitor-analysis' into synchronized-support.
Adapted behaviour analysis to synchronized mode. The rules of the grammar
generation know deal with entermonitor e exitmonitor when this synch mode
is enabled.