WyRL: added simplistic mechanism for finding triggers.
WyRL: the quantifier instantiation the just instantiated a quantifier correctly for the first time!! Still a little way to go though.