fixed ctl generation
fixed ltl generation