(define match-check-variable
(lambda (e var)
(if (and (string=? (cadr var) "")
(string=? (cadddr var) ""))
MATCH-TRUE
(if (match-check-variable-predicates e var)
(if (string=? (cadr var) "")
MATCH-TRUE
(vector (cadr var) e))
MATCH-FAILED))))