fixed andOr pruning bug in or traverserer (andor still missing)
fixed a cluster counter problem