Hierarchic Superposition Revisited