def METHOD_NAME(pattern, f1):
    f0, duc = pattern
    if len(f0.args.args) != len(f1.args.args):
        return False
    for arg0, arg1 in zip(f0.args.args, f1.args.args):
        arg0.id = arg1.id
        for u in duc.chains[arg0].users():
            u.node.id = arg1.id
    return Check(f0, {}).visit(f1)