Occurences: use Ident.same, not Ident.equal…