Constant evaluate_obligation

pub const evaluate_obligation: DepKind;