<> <> <<>> ("ShiftingTest[5]" E (testee I (SRWC0 E (First E (Inv E) (Pass L)) (second E (Inv E) (Pass L))) (SRWC1 E (First E (Inv E) (Pass E)) (second L (Inv E) (Pass E))) (SRWC2 E (First L (Inv L) (Pass L)) (second E (Inv L) (Pass L))) (SRWC3 E (First L (Inv L) (Pass L)) (second L (Inv L) (Pass L))) (SRWC4 E (First E (Inv L) (Pass E)) (second L (Inv E) (Pass E))) ) ) <<(SRWC0 I (First I (Inv) (Pass)) (second I (Inv) (Pass)))>> <<(SRWC1 I (First I (Inv) (Pass)) (second N (Inv) (Pass)))>> <<(SRWC2 I (First N (Inv) (Pass)) (second I (Inv) (Pass)))>> <<(SRWC3 I (First N (Inv) (Pass)) (second N (Inv) (Pass)))>> <<) )>>