@yosh This can be a good use case to argue favor of formal tools in software development that it actually allows you to develop faster and fewer bugs at the same time.