ENHANCED: Added support for instantiation errors with no terms.