changed the main loop (given clause) back to using only active clauses for demodulation
changed the main loop (given clause) back to using only active clauses for demodulation

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