stack-overflow during simulation-based reduction
spot.translate("(GX(0) R !Xp1) R ((((p0 M p4) <-> F(p5 M p4)) W X(FXp2 R p5)) W F!p1)", "det", "G")
leads to a segfault
spot.translate("(GX(0) R !Xp1) R ((((p0 M p4) <-> F(p5 M p4)) W X(FXp2 R p5)) W F!p1)", "det", "G")
leads to a segfault