Function function_always_reverts 

fn function_always_reverts(hir: &Hir<'_>, func: &Function<'_>) -> bool

Returns true if invoking func always reverts, either via its body or an attached modifier.