Function choose 

pub fn choose<T: Element>(k: usize, exprs: Vec<Expr<T>>) -> Result<Expr<T>>

Create a choose expression. Returns Or when k == 1, And when k == n, and Choose otherwise.

Errors

Returns Error::InvalidExpression if exprs is empty or k is out of range [1, len].