If original DFA does not have any CSETs, no memory allocated for CSET. Even then DFA try to copy CSET from original DFA to the superset. As a result, it is caused to access to unallocated memory. We have no test case so that it is very difficult that we always reproduce this bug, as CSET may be added only one in building superset.