Let's define a P# type:

Code: Select all

`TYPE P# POSSREP {PNUM CHAR};`

Code: Select all

```
WITH (R := RELATION { SUPPLIES RELATION {PID P#}} {
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P1")},
TUPLE {PID P#("P2")},
TUPLE {PID P#("P3")},
TUPLE {PID P#("P4")},
TUPLE {PID P#("P5")},
TUPLE {PID P#("P6")}
}},
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P1")},
TUPLE {PID P#("P2")}
}},
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P2")},
TUPLE {PID P#("P4")},
TUPLE {PID P#("P5")}
}}
}) : R = R
```

*false*at me (OS X 10.8.5 Java 1.7.0_40-b43 Rel 1.0.10 Beta.

Changing some parts of it seems to make this bug disappear.