}
// Add a field to keep track of the current state.
SootField currentStateField = new SootField("_currentState", IntType
.v());
entityInstanceClass.addField(currentStateField);
SootField nextTransitionField = new SootField("_nextTransition",
IntType.v());
entityInstanceClass.addField(nextTransitionField);
// populate the initialize method.