//This file was generated from UPPAAL 3.4.7, Oct 2004 /* */ A[] -3 <= y and y <= 3