TOP(x2) CFG