CORE symex-driven-lazy-loading-expected-failure
Main.class

^EXIT=0$
^SIGNAL=0$
VERIFICATION SUCCESSFUL
--
--
This doesn't work under symex-driven lazy loading because it is incompatible with lazy-methods (default)
