anchor.diff:  PLUS : '+';
   MINUS : '-';
   ATR : '@';
  -FP : 'fp';
   BITWISEAND : 'And';
   BITWISEOR : 'Or';
   BITWISEXOR : 'Xor';
  
positive.code:     ;
  
  queryStatements
      : (ktranslationUnit)*
      ;
      
  ktranslationUnit
  
negative.code:      (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
       THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
  // Grammar for KLEE KQuery parsing. (A bit more verbose with richer parsing)
  // Ported to Antlr4 by Sumit Lahiri. (Unoptimized Grammar)
  grammar KQuery;
  
  kqueryExpression 
  