manual kill (all ggfs), definition and implementation of interfaces nearly completed, terminationstate added