Function matches_contract 

pub(crate) fn matches_contract(
    filter: &dyn TestFilter,
    path: &Path,
    contract_name: &str,
    contract_id: &str,
    functions: impl IntoIterator<Item = impl Borrow<Function>>,
    symbolic_enabled: bool,
) -> bool