modifications in ltlmc conforming with the last changes in KIL.