On handling distinct objects in the superposition calculus