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;