Made a fix to updating kernel sets and reclosing over with immutable kernel and closure sets to update follow sets
Need to implement reclosing of generated states from the updated state