pub fn c_check(b: &Block<'_>, e: &mut Expr)
Calculate various attributes such as data_type, is_constant etc.