Graphmaster

else if exists m = G(n, w_j) and Match(m, h+1) return true;