repLit.setSucceedingOperator(new OperatorIDTuple(succ, -1));
pat2.addSucceedingOperator(new OperatorIDTuple(succ, -1));
succ.setPrecedingOperator(repLit);
succ.addPrecedingOperator(pat2);
subGraphMap = new HashMap<BasicOperator, String>();
subGraphMap.put(pat1, "pat1");
subGraphMap.put(repLit, "repLit");
subGraphMap.put(pat2, "pat2");