test for matching; updated matching for binders