Ralf Laemmel wrote: > General conclusion: > I still have to see a good reason to use "-fallow-incoherent-instances". > It's mostly good to shot yourself in the head. Maybe one day we will get "-fallow-backtracking"? now that would be useful... Keean.