anchor.diff:  DIGIT 
       : ('0'..'9')  
       ;
  -
  +    
  +fragment
   BIN_DIGIT
       : ('0' | '1' | '_')
       ;
  -    
  +
  +fragment
   OCTAL_DIGIT
       : ('0'..'7' | '_')
       ;
   
  +fragment
   HEX_DIGIT 
       : ('0'..'9'|'a'..'f'|'A'..'F'|'_') 
       ;
  
positive.code:      THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
  
  // Grammar for KLEE KQuery parsing.
  // Ported to Antlr4 by Sumit Lahiri.
  grammar KQuery;
  
  
negative.code:     
  IntegerType 
      : INT DIGIT+
      ;
  
  widthOrSizeExpr
      : WidthType
      ;
  
  WidthType 
  