Constant evaluate_obligation 

pub const evaluate_obligation: DepKind;