Function mul_cannot_overflow_256 

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

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