Better naming for private functions of FaultTree class.