Removing a fishy use of pervasive equality in Ltac backtrace printing.
Hunting pervasive equality in native compiler. It seems they were used for
optimization purposes. I replaced their use with the under-approximation
of pointer equality.