correctly box case exprs, don't clear case test