testSubAtomInstantiationError

Tests the query

?- sub_atom('Banana', 3, 2, Y, S).

fails on a solver initialized with default built-ins and with an empty theory, producing exception instantiation_error (the first argument is, despite appearances, an unbound variable named Banana, not the atom 'Banana').