Constant SMT_DEPTH

Source
pub const SMT_DEPTH: u8 = 64; // 64u8