ShEx semantics ill-founded

[pfps]

The ShEx semantics appears to go into a loop on

Schema S = :sl { :p @:sl } ShapeMap m = { ( :x, :sl ) } Graph G = { :x :p :x . }