Fixed problem with duplicate fluents in state progression