Statistics for Applications of Description Logic and Causality in Model Checking