Graphmaster

else if Exists m = G(n, *) and exists j in [h+1..k+1] | Match(m, j), return true;