var stack11 = { int x -> 0 < x < x+1 < 4; };