Added function to overlay bug detection with fault