WyCS: pushed through some small changes to quantifier instantiation for #379