pub fn ret_neg_var<A: Into<String>>(a: A) -> Expr
A value variable that is negative and non-zero.
Binds to its positive value.