<> <> <<>> ("latchTester" E (cg E) (l0 E) (l1 E) (l2 E) (l3 E) )