WyRL: working on improved quantifier instantiation which can handle multiple variables.  #373