Subject: reduced test case

From: Andy Wingo <[email-masked]>
Date: Mon, 24 May 2021 10:14:54 +0200

Test case:

  (define (f a b)
    (let ((c (if (and (eq? a 'foo)
                      (eq? b 'bar))
                 'ERROR
                 a)))
      (pk c)))

If you run as (f 'not-foo 'bar), you get 'ERROR.  Yeeps!