added a comment in ltlmc/programs/counter.cink