more tweeks to bv quickXplain heuristic