Constant razor_chase::trace::EVALUATE

pub const EVALUATE: &str = "@evaluate";

A sequent was successfully evaluated by the chase step.