bugfix in superposition: simplify-reflect must check for trail subsumption
bugfix in superposition: simplify-reflect must check for trail subsumption

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition