instead of aborting on shifts of i1, just implicitly fold them.