fix(frontends/lean): process choice-exprs at check_constant_next