I think it would already be not eligible for argument indexing since it’d add arguments on the right while SWI indexes only on the first, right?
If I understood the previous correctly, then Eclipse may be a better fit here since I understood they can JIT figure out the argument best suitable for indexing (but maybe my point is irrelevant if it really considers only simple type tests):