set except set initi model initi critic cr initi state 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 