Dynamic slicing on Java bytecode traces | Synapse