Constant razor_chase::trace::FAIL

pub const FAIL: &str = "@fail";

The chase step failed. The model will be discarded.