Describe our strategy for detecting and reporting infinite loops