abstract FOLParser symbols, added some comments about method behaviour to DIMACSReader and DIMACSTest