On the numerical solution of a fault tree