WyCS: bug fix for file writer
WyCS: changed name of NewWyalFileParser to WyalFileParser.