LTL variables seem to work quite well, might need some more testing