Increase an InScopeSet for a substitution