@chrg, I have not created the decompiled files. I annotated the methods with @Case, but we might want to have another annotation intended for methods for this purpose. Note that there might be missing some cases that use method calls to get return values (any value).