Fix hash of atom in supported , not consider negation