Also print schedule @ t > 0

integration/code/cbd_semantics.alc

@@ -166,17 +166,21 @@ Void function list_CBD(model : Element):
 		elem = set_pop(all_elements)
 		output((("    " + reverseKeyLookup(model["model"], read_edge_src(model["model"][elem]))) + " --> ") + reverseKeyLookup(model["model"], read_edge_dst(model["model"][elem])))
 
-	output("Schedule @ 0:")
+	output("Schedule (== 0):")
 	elem = "schedule_init"
-	log("READ 1")
 	log("Model " + cast_e2s(model["model"][elem]))
 	while (read_nr_out(allOutgoingAssociationInstances(model, elem, "LinkedBlock")) > 0):
-		log("READ NEXT")
 		block = readAssociationDestination(model, set_pop(allOutgoingAssociationInstances(model, elem, "LinkedBlock")))
 		output("    " + block)
-		log("FOUND BLOCK : " + block)
 		elem = readAssociationDestination(model, set_pop(allOutgoingAssociationInstances(model, elem, "NextSchedule")))
-		log("Next schedule")
+
+	output("Schedule (> 0):")
+	elem = "schedule_run"
+	log("Model " + cast_e2s(model["model"][elem]))
+	while (read_nr_out(allOutgoingAssociationInstances(model, elem, "LinkedBlock")) > 0):
+		block = readAssociationDestination(model, set_pop(allOutgoingAssociationInstances(model, elem, "LinkedBlock")))
+		output("    " + block)
+		elem = readAssociationDestination(model, set_pop(allOutgoingAssociationInstances(model, elem, "NextSchedule")))
 
 	return !