静的にwitness tableが決定できる気がする