New implementation for the roundabout using Hoare's Monitors
Last implementation for the roundabout using regions