notation for stateToInfo
report of MEIRL