jpのLTLはカオスで面白いとこはあるけどどっちか言うと近頃は摩擦だらけになってる気がするねぇ、処理の負荷という観点ではないけどワイはちょっと複雑な見方してる。