fix issue#20: A Crash Bug in TestVisitor testcase