debugging bidirectional diffusion analsysis