added counter.cink and log.cink (unfinished) in ltlmc/programs.