Add support for quantifier-specific instantiation levels.  Add option for setting inst-level 0 only for input terms.