The Eureka Tool for Software Model Checking