!p && !q
DEBUG: parse string ->!p && !q<-
DEBUG: parse_to_prec(9)!p && !q
DEBUG: read_one_term() called
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 0
DEBUG: finished reading next token
DEBUG: token just read was ->!<-
DEBUG: parse_to_prec(1)p && !q
DEBUG: read_one_term() called
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 1
DEBUG: read_token() will return a new string
DEBUG: read_token(): input = !p && !q, start = 1, index = 2
DEBUG: finished reading next token
DEBUG: token just read was ->p<-
bool_operator(): new operator created. Total so far: 1
DEBUG: read_one_term() done
DEBUG: finished parsing op:atom=p
DEBUG: parse_to_precedence(): about to enter the while() loop
DEBUG: where index = 3 and input_size = 8
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 3
DEBUG: get_operator() called with argument ->&&<-
bool_operator(): new operator created. Total so far: 2
DEBUG: get_operator() about to return -> op:and <-
DEBUG: parse_to_precedence(): parsed the operator -> op:and <-
DEBUG: right here prec = 1 and pr = 4
DEBUG: parse_to_precedence(): about to return
DEBUG: this value: ->op:atom=p<-
bool_operator(): new operator created. Total so far: 3
DEBUG: read_one_term() done
DEBUG: finished parsing  op:not op:atom=p
DEBUG: parse_to_precedence(): about to enter the while() loop
DEBUG: where index = 3 and input_size = 8
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 3
DEBUG: get_operator() called with argument ->&&<-
bool_operator(): new operator created. Total so far: 4
DEBUG: get_operator() about to return -> op:and <-
DEBUG: parse_to_precedence(): parsed the operator -> op:and <-
DEBUG: right here prec = 9 and pr = 4
DEBUG: parse_to_prec(4)!q
DEBUG: read_one_term() called
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 6
DEBUG: finished reading next token
DEBUG: token just read was ->!<-
DEBUG: parse_to_prec(1)q
DEBUG: read_one_term() called
DEBUG: next_token() called
DEBUG: read_token() called
DEBUG: right now index = 7
DEBUG: read_token() will return a new string
DEBUG: read_token(): input = !p && !q, start = 7, index = 8
DEBUG: finished reading next token
DEBUG: token just read was ->q<-
bool_operator(): new operator created. Total so far: 5
DEBUG: read_one_term() done
DEBUG: finished parsing op:atom=q
DEBUG: parse_to_precedence(): about to enter the while() loop
DEBUG: where index = 8 and input_size = 8
DEBUG: parse_to_precedence(): about to return
DEBUG: this value: op:atom=q
bool_operator(): new operator created. Total so far: 6
DEBUG: read_one_term() done
DEBUG: finished parsing  op:not op:atom=q
DEBUG: parse_to_precedence(): about to enter the while() loop
DEBUG: where index = 8 and input_size = 8
DEBUG: parse_to_precedence(): about to return
DEBUG: this value:  op:not op:atom=q
DEBUG: parse_to_precedence(): about to return
DEBUG: this value:  op:not op:atom=p op:and  op:not op:atom=q
DEBUG: parse() parsed -> op:not op:atom=p op:and  op:not op:atom=q<-
 op:not op:atom=p op:and  op:not op:atom=q
Number of outstanding formulas: 5
Number of outstanding operators: 6
~bool_formula(): deleting operator  op:and 
~bool_operator(): an operator deleted. Total left: 5
~bool_formula(): deleting formula  op:not op:atom=p
~bool_formula(): deleting operator  op:not 
~bool_operator(): an operator deleted. Total left: 4
~bool_formula(): deleting formula op:atom=p
~bool_formula(): deleting operator atom:p
~bool_operator(): an operator deleted. Total left: 3
Number of outstanding operators: 3
Number of outstanding operators: 3
~bool_formula(): deleting formula  op:not op:atom=q
~bool_formula(): deleting operator  op:not 
~bool_operator(): an operator deleted. Total left: 2
~bool_formula(): deleting formula op:atom=q
~bool_formula(): deleting operator atom:q
~bool_operator(): an operator deleted. Total left: 1
Number of outstanding operators: 1
Number of outstanding operators: 1
Number of outstanding operators: 1
Number of outstanding formulas: 0
Number of outstanding operators: 1
