human
Here's a good function header given the following:
I wrote the below code

    def assumptions(s):
        A = s.assumptions0
        A.setdefault('finite', A.get('finite', True))
        if domain.is_subset(S.Reals):
            A.setdefault('real', True)
        else:
            A.setdefault('complex', True)
        return A
    reps = {s: Dummy(**assumptions(s)) for s in f.free_symbols}
    return f.xreplace(reps).is_finite

What's a good function header?
assistant
#Here's a good function header.

def _is_finite_with_finite_vars(f, domain=S.Complexes):