Naming of decision diagrams