UnsupportedOperationException for one/lone quantifiers

[philippemerle]

UnsupportedOperationException is thrown when executing the following Alloy specification:
sig A { id: Int }
pred P1 [p : set A]
{
one a: p | a.id = 1
}
pred P2[p : set A] {
P1[ { x : p | x.id > 0 } ]
}
run {
some a : set A | P2[a]
}

If one is replaced by lone then the exception is also thrown.
If one is replaced by no/some/all then no exception is thrown.