* Example 4:
*sharpe allows nodes to be shared (repeated) in a fault-tree
*Next example considers fault-trees with repeated nodes.

ftree dsp70
basic a prob(q)
basic b prob(q)
basic c prob(q)
basic d prob(q)
or t3 a b
and t1 t3 d
transfer d1 d
and t2 c d1
or t0 t1 t2
end

bind 
q 0.25
end

expr sysprob(dsp70)


* By hand calculation the answer was obtained as
expr 37/256
end


