WyRL: quantifier instantiation example is now working, though not instantiating any quantifiers.