Removing printing in KosBackend and adding \addtocounter to Karma + multiline re