remove some debugging statements, add invalid symbol check to statefile parser