Fixed: Pel(l) = {a | a in Rel(l) and ~a Rel(l)} does work.

A negation was missing, thus leading only non-initial-situation
literals being kept instead of the opposite.