Added tests for callEntryIfTransitBack and callExitIfTransitBack