added documentation for quantifier heuristics library