fn matches_test_function(
filter: &dyn TestFilter,
contract_id: &str,
func: &Function,
symbolic_enabled: bool,
) -> boolfn matches_test_function(
filter: &dyn TestFilter,
contract_id: &str,
func: &Function,
symbolic_enabled: bool,
) -> bool