Added explanation to the test

Author: thk123

regression/cbmc-java/lambda2/test_no_crash_ecj.desc

@@ -8,4 +8,7 @@ SIGNAL=0
 --
 --
 Tests that it doesn't crash when failing to read a `BootstrapMethods` entry and
-there is another attribute after this.
+there is another attribute after this. The EXIT=10/VERIFCATION FAILED comes from
+the fact that the invokedynamic currently returns a null object, causing our
+model of this to predict a null pointer exception. This test will need to be
+adjusted when lambdas work.