https://9dok.net/document/yev1g4m1-expand-enlarge-check-new-algorithms-coverability-problem-wsts.html