State explosion problem