CORE
Test.class
--function Test.main
^VERIFICATION SUCCESSFUL$
^EXIT=0$
^SIGNAL=0$
--
--
This test must pass, as there is only one opaque parent (interface_with_static).
In particular this one makes sure we don't identify Object as opaque and guess that
java.lang.Object.x exists (since we know Object doesn't have static fields).
