Adapted behaviour analysis to synchronized mode. The rules of the grammar
generation know deal with entermonitor e exitmonitor when this synch mode
is enabled.