set except set initi model initi critic cr invalid histori statemachin model state machin factori creat state machin compositest model state machin factori build composit state state machin statemachin histori model state machin factori build pseudo state compositest state model state machin factori build simpl state compositest state model state machin factori build simpl state compositest 