finished LTS and starting LTL