Update test to handle changed symbol creation order

Remove line that depends on generated symbol name - Lucas confirms it wasn't the purpose of the test anyway.

Author: NathanJPhillips

regression/jbmc-strings/StaticCharMethods05/test.desc

@@ -3,7 +3,6 @@ StaticCharMethods05.class
 --refine-strings --string-max-length 1000
 ^EXIT=10$
 ^SIGNAL=0$
-null-pointer-exception\.14\] Throw null: FAILURE
 ^\[.*assertion\.1\] .* line 12 .* FAILURE$
 ^\[.*assertion\.2\] .* line 22 .* FAILURE$
 ^VERIFICATION FAILED$