% RUN: %solver %s | %OutputCheck %s
%% Regression level = 3
%% Result = InValid
%% Language = presentation

X, Y : BITVECTOR(2);

ASSERT X = 0bin11;
ASSERT BVSHL(X, Y) = 0bin10;

% CHECK: ^[Ii]nvalid
QUERY FALSE;
