ltl variables are gradually starting to work