include "primitives.alh"

Boolean function main(model : Element):
	Element keys
	String key
	Element split
	Element tm

	tm = model["type_mapping"]

	keys = dict_keys(tm)
	while (read_nr_out(keys) > 0):
		key = set_pop(keys)
		split = string_split(tm[key], "/")
		dict_overwrite(tm, key, string_join("Encapsulated_PetriNet/", split[1]))

	return True!