Removing complication, the compiler should do this optimisation
I think this analyzeFinal doesn't actuall minimize the conflict clause

But it leaves seen[] in a dirty state