KNOWNBUG
Test.class
--function Test.test --show-goto-functions
EXIT=0
SIGNAL=0
ObjectWithNondetInitialize\.cproverNondetInitialize\(\)
--
--
Check if cproverNondetInitialize method is loaded in an object
returned from an opaque method
https://github.com/diffblue/cbmc/issues/2273
