Simple fault tree as counter example.