Examining detailed errors with the flow checker