(define get-matching-length (lambda (expr var) (let* ((checklist (map (lambda (x) (match-check-variable-predicates x var)) expr))) (length (get-true-matches checklist)))))