Add stats to quantifiers conflict find.  Added option for qcf.  Working on handling non-APPLY_UF terms.