module metrics
import metrics_base
+import mmodules_metrics
+import mclasses_metrics
+import mendel_metrics
+import inheritance_metrics
+import refinement_metrics
import static_types_metrics
import nullables_metrics
-import visit_self
-import model_stats
+import self_metrics
import generate_hierarchies
import rta_metrics
import model_hyperdoc
import tables_metrics
+import poset_metrics
+import ast_metrics
+import detect_variance_constraints