Fault tree: semantics of NOT node. All nodes should correctly work. Correct bug on UPPAAL backtracing