Function function_has_reentrancy_guard 

fn function_has_reentrancy_guard(
    hir: &Hir<'_>,
    function: &Function<'_>,
    lock_var: VariableId,
) -> bool