#10 true in conjunction/disjunction does not work

[Marc van Zee]

When true is added as a conjunct or disjunct in the guard of a rule, it will not work. What works: p <- true | skip; What doesn't work: p <- q and true | skip;