Function encode_expr_bool 

pub fn encode_expr_bool(
    expr: &VerifyExpr,
    bool_vars: &HashMap<String, Bool>,
    int_vars: &HashMap<String, Int>,
) -> Bool

Simple recursive Bool encoder for k-induction formulas.