Take off abort logic in Uppaal