More ParseTreVisitor tests