better comment
remove assert statements which have nothing to do with the test
introduce probes before INVOKE opcodes, as these may throw an exception