added conformance check

integration/code/pn_interface.alc

@@ -505,8 +505,13 @@ Element function initial_prompt():
 
 Void function main():
 	//initial_prompt()
+	log("creating metamodels")
 	Element root
 	root = create_metamodels()
-	petrinet_transformation(root)
+	log("load instantiation of transformation metamodel")
+	Element transf
+	transf = petrinet_transformation(root)
+	log("check conformance of transformation")
+	log(conformance_scd(transf))
 	log("done")
 	return