Adapt regression tests for virtual functions.

These tests were failing when the new way was used which groups class
identifiers that have the same resolved function call.

Unfortunately the result is not unique here which makes those tests not too
useful.

Author: Matthias Güdemann

regression/cbmc-java/virtual6/test.desc

@@ -3,5 +3,4 @@ A.class
 --function A.main --show-goto-functions
 ^EXIT=0$
 ^SIGNAL=0$
-IF "java::C".*THEN GOTO
-IF "java::B".*THEN GOTO
+IF "java::A".*THEN GOTO

regression/cbmc-java/virtual7/test.desc

@@ -3,9 +3,6 @@ test.class
 --show-goto-functions
 ^EXIT=0$
 ^SIGNAL=0$
-IF "java::E".*THEN GOTO [12]
-IF "java::B".*THEN GOTO [12]
-IF "java::D".*THEN GOTO [12]
-IF "java::C".*THEN GOTO [12]
---
-IF "java::A".*THEN GOTO
+IF.*"java::C".*THEN GOTO [12]
+IF.*"java::D".*THEN GOTO [12]
+IF.*"java::A".*THEN GOTO [12]