determinization not necessary in complement construction
complement test rewritten