#include<mem.cvh>
#include<stdlib.h>

$input int N;
$assume(N > 10);
int a[N][N];

int main() {
  $assert($mem_contains(&a, &a[0 .. N-1][0 .. N-1]));
  $assert($mem_contains(&a, &a[0 .. N-2][0 .. N-2]));
  $assert($mem_contains(&a, &a[0 .. N-1]));
  $assert($mem_contains(&a, &a));
  $assert($mem_contains(&a[0 .. N-1][0 .. N-1], &a));
  $assert(!$mem_contains(&a[0 .. N-2][0 .. N-1], &a));
}
