Trying to symbolically integrate fault trees (with some dynamics).