private ISymbolicExpressionTreeNode ParseInvoke(Queue <Token> tokens)
        {
            Token invokeTok = tokens.Dequeue();

            Debug.Assert(invokeTok.StringValue == "CALL");
            InvokeFunction invokeSym = new InvokeFunction(tokens.Dequeue().StringValue);
            ISymbolicExpressionTreeNode invokeNode = invokeSym.CreateTreeNode();

            return(invokeNode);
        }