def METHOD_NAME(
    variables: List[
        Union[
            Constant,
            LocalIRVariable,
            TemporaryVariableSSA,
            SolidityVariableComposed,
            SolidityVariable,
        ]
    ],
    taints: List[
        Union[LocalIRVariable, SolidityVariable, SolidityVariableComposed, TemporaryVariableSSA]
    ],
    function: FunctionContract,
) -> bool:
    return any(
        (
            is_dependent_ssa(var, taint, function.contract)
            for var in variables
            for taint in taints
        )
    )