(assert (equal? (substitutions-in-to-match-for-7.30 '(_ b c)
'(a b c))
'(a)))
(assert (equal? (substitutions-in-to-match-for-7.30 '(_ _ _)
'(a b c))
'(a b c)))
(assert (equal? (substitutions-in-to-match-for-7.30 '(a (x y z) c)
'(a z c))
'(z)))
(assert (equal? (substitutions-in-to-match-for-7.30 '(_ (x y z) ...)
'(a z foo bar baz))
'(a z (foo bar baz))))