Accept user-provided triggers with variable terms.  Flush lemmas before quantifiers check.  Minor fix for conjecture generation.
Fix bug for variable term triggers within multi-triggers.