debugging bidirectional diffusion analysis