added sumc.cink in ltlmc.