A Divergence Critic for Inductive Proof