pseudost build pseudo state object composit state composit state composit state pseudost state creat pseudost state set kind pseudost kind pk choic state set contain composit state composit state composit state composit state subvertex add state state illeg argument except argument composit state 