(assert (equal? (substitutions-in-to-match-for-7.37 '(a number? c)
'(a 13 c))
'(13)))
(assert (equal? (substitutions-in-to-match-for-7.37 '(a symbol? c)
'(a b c))
'(b)))
(assert (equal? (substitutions-in-to-match-for-7.37 '(number? b number?)
'(12 b 14))
'(12 14)))
(assert (equal? (substitutions-in-to-match-for-7.37 '(symbol? number? symbol?)
'(a 13 c))
'(a 13 c)))