testNumberCodesChar

Tests the query

?- number_codes(a,L).

fails on a solver initialized with default built-ins and with an empty theory, producing exception type_error(number, a).