rcases can't use rfl on 0 = a in some circumstances.

rcases can't use rfl on 0 = a in some circumstances. #1334