Inspect all path comparisons

[Guekka]

Path comparison is dangerous because a != b does not implies !equivalents(a, b)
Maybe we should ban path comparison using == and provide an explicit function