add disabled test case that is not currently supported
make array slice guard code work for bounds that are unknown at translation time