added a duplicate tracing test for reflexive existential relation; fails
at the moment (not sure why inference of a propagation is returned)
fixed duplicate reflexive existential tracing bug: propagations were
saved incorrectly in subsumers in the SimpleContextTraceStore