modified log.cink in ltlmc.