Make states more resilient to missing head In particuliar pushkey is now more robust (with a very naif approach)
Pierre-Yves David