Hi, Have you found any solution ?
I have the same problem but not with FSLTL, with AIG.
Thank you
Luciano