Colors are added for graphing fault trees.