remove spurious lines in Statement.cc