type pattern of the form `a[n>x:shp]` do not work correctly

When I compile

int tutu ( int[n>2:shp] a)
{
    return 42;
}

int main ()
{
    a = [1,2,3,4,5];

    return tutu (a);

}

with sac2c -check p on sac2c 2.0.0-Tintigny-175-gf212f I do not get any error. all that is tested is that n >= 0 !