improve remove-x
implement Tian&Duan "A note on stutter-invariant PLTL" so that ltlfilt --remove-x
gives smaller formulas than it currently does
implement Tian&Duan "A note on stutter-invariant PLTL" so that ltlfilt --remove-x
gives smaller formulas than it currently does