WYCS: bug fix for instantiating existentials.