Fix --inst-max-level for strategies that use arbitrary representative terms.