Function always_reverts 

fn always_reverts(
    gcx: Gcx<'_>,
    contract: ContractId,
    func: &Function<'_>,
) -> bool

True if invoking func always reverts, through its body or an attached modifier (one that reverts before its first _ or after its last one).