VAR 
  
  a[31]

SPEC

  !(a = 12 | a = 11) -> a != 11
