Better local protocol exception messages
Better state transition logging