* added ;#line command in kif, for normal parsers it will be comment