Change restart to appear in InfiniteLoopsKeptStates

InfiniteLoopsKeptStates=100 indicates m value for infinite loop, InfiniteLoopsKeptStates=:data100 indicates infinite loop is not done but a restart should happen from data100