Optimizer may incorrectly drop procedure arguments

[sjamaan]

Found by megane while looking into a patch of mine to improve variable replacements:

(define (foo bindings)                                                                            
  (define (append-map proc lst1)                                                                                                        
    (if lst1                                                                                                                            
        (proc 1)                                                                                                                        
        (proc 1 2)))                                                                                                                    
  (append-map (lambda (b a) (begin)) bindings))

Compile this with -O3 and it will error out with this message:

Error: Arguments to inlined call of `a150' do not match parameter-list (b a)

After fixing this, we can remove the (not captured) test in the 'replaceable code.