anchor.diff:       THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
   */
   
  -// Grammar for KLEE KQuery parsing.
  +// Grammar for KLEE KQuery parsing. (A bit more verbose with richer parsing)
   // Ported to Antlr4 by Sumit Lahiri.
   grammar KQuery;
   
  
positive.code: LeftBracket : '[';
  RightBracket : ']';
  LeftBrace : '{';
  RightBrace : '}';
negative.code:     
  IntegerType 
      : INT DIGIT+
      ;
  
  widthOrSizeExpr
      : WidthType
      ;
  
  WidthType 
  