CIF/BDD: `printAsDot` given `true` or `false` guard returns a graph with both `true` and `false`
In an event with guard `true`, `BddUtils.printAsDot` will return a graph that contains both `true` and `false`.
issue