Function add_cannot_overflow_256 

pub(crate) fn add_cannot_overflow_256(left: &Expr, right: &Expr) -> bool

Returns whether unsigned addition of two expressions cannot overflow 256 bits.