Support construction of the graph of all reboot constraints