Find bugs with new contraction