ImplicationGraph.removeLevel

与えられた decision level 以上の頂点やそれに繋がっている辺を削除します。