Function lit_value_of 

fn lit_value_of(expr: &Expr<'_>) -> Option<(bool, U256)>

Extracts a signed constant from a numeric literal or negated numeric literal, returning (is_negative, magnitude).