Remove some unused functions

bootstrap/constructors.alc

@@ -320,21 +320,3 @@ Action function construct_continue():
 	this_element = create_value(!continue)
 	dict_add(this_element, "while", while_stack[list_len(while_stack) - 1])
 	return this_element
-
-Element function find_attribute(source : Element, attr_name : String, types : Element, inheritance_link : Element):
-	if (dict_in(source, attr_name)):
-		return source
-	else:
-		Integer counter
-		Integer i
-		Element edge
-		counter = read_nr_out(source)
-		i = 0
-		while (i < counter):
-			edge = read_out(source, i)
-			if (element_eq(dict_read_node(types, edge), inheritance_link)):
-				return find_attribute(read_edge_dst(edge), attr_name, types, inheritance_link)
-			i = i + 1
-		// No return at the moment, as this crashes the MvK
-		log("ERROR: could not find attribute")
-

interface/HUTN/includes/conformance_scd.alh

@@ -1,8 +1,6 @@
 Boolean function is_direct_instance(a: Element, b: Element, c: Element)
 Boolean function is_nominal_instance(a: Element, b: Element, c: Element)
-Boolean function is_nominal_subtype(a: Element, b: Element, c: Element)
 Boolean function is_structural_subtype(a: Element, b: Element)
-Boolean function is_structural_instance(a: Element, b: Element, c: Element)
 Element function conformance_scd(a: Element)
 Element function set_model_constraints(a: Element, b: Element)
 Element function generate_bottom_type_mapping(a: Element)

interface/HUTN/includes/constructors.alh

@@ -1,3 +1,2 @@
 Action function construct_top()
 Action function construct_unknown()
-Element function find_attribute(a: Element, b: Element, c: Element, d: Element)