Fixed incorrect change from element_eq to value_eq (through ==)

bootstrap/conformance_scd.alc

@@ -33,7 +33,7 @@ Boolean function is_nominal_subtype(superclass : Element, subclass : Element, ty
 	Element destination
 
 	// End of recursion
-	if (superclass == subclass):
+	if (element_eq(superclass, subclass)):
 		return True
 
 	// Iterate over all superclasses of the found class
@@ -44,7 +44,7 @@ Boolean function is_nominal_subtype(superclass : Element, subclass : Element, ty
 		// Check if it even has a type (to prevent errors)
 		if (dict_in_node(types, edge)):
 			// Check whether it is an inheritance edge, as there is no other distinction between them
-			if (dict_read_node(types, edge) == inheritance_link):
+			if (element_eq(dict_read_node(types, edge), inheritance_link)):
 				// It is an inheritance edge, so follow it to its destination
 				destination = read_edge_dst(edge)
 				// Found a new superclass to test