Fixed some strange constructions and mapped them to easier to understand ones

bootstrap/core_algorithm.alc

@@ -305,9 +305,10 @@ Boolean function pm_finished(worklist : Element, pm : String):
 	i = 0
 	cnt = set_len(finished)
 
-	while (i < cnt):
+	worklist = set_copy(worklist)
+	while (set_len(worklist) > 0):
 		// Check each finished element individually
-		if (set_in(finished, dict_read(read_edge_dst(read_out(worklist, i)), 0))):
+		if (set_in(finished, set_pop(worklist))):
 			return True!
 		i = i + 1
 

bootstrap/random.alc

@@ -29,4 +29,4 @@ Element function random_choice(list : Element):
 	if (list_len(list) == 0):
 		return read_root()!
 	else:
-		return read_edge_dst(read_out(list, random_interval(0, list_len(list) - 1)))!
+		return list_read(list, random_interval(0, list_len(list) - 1))!