testSubAtomTypeErrorSubIsInteger

Tests the query

?- sub_atom(banana, 4, 2, _, 2).

fails on a solver initialized with default built-ins and with an empty theory, producing exception type_error(atom, 2), since the last argument must be an atom (or unbound), not an integer.