//This file was generated from UPPAAL 3.5.9, Aug 2005

/*
Consumer has consumed non-existent element...
*/
E<>(n<0)