No wrong sequents in file to be parsed