1%% Regression level = 3
2%% Result = InValid
3%% Language = presentation
4
5X, Y : BITVECTOR(2);
6
7ASSERT X = 0bin11;
8ASSERT X >> Y = 0bin01;
9
10QUERY FALSE;