Now ParseTree can return the number of terminals parsed.
Fixed bug in terminal parser introduced in dcfe0233c03d9c08e30ae3d3efaab4aa7a204591.