ensuringArgumentIsValidInfoList
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsValidInfoList(index: Int): List<Term>?
Ensures the argument at index is either unbound (returning null, meaning "report every info") or a proper list of read_term/2,3 info shapes, validating each element via ensureTermIsValidInfo.
Throws
if it is bound but not a list.
(read_option) if any element is not a valid info shape.