modelverse-d... techreport conformance_bottom figures different_hierarchies_A.pdf