Set instantiation level on skolemized bodies of quantifiers.  Rename inst-level attribute to quant-inst-max-level