added case exprs lifter