Added Terminate PseudoState kind; fixes #3