Patrik Jansson wrote: > The panic is clearly a bug, ... One may suspect that something very subtle is going on with non-constructor indices in inductively defined predicates: that surprises not only the users, but also the implementors. Peter Hancock