set except set initi model initi critic cr invalid initi statemachin model state machin factori creat state machin compositest model state machin factori build composit state state machin statemachin initi model state machin factori build pseudo state compositest model core helper set kind initi model pseudost kind initi state model state machin factori build simpl state compositest state model state machin factori build simpl state compositest 