dfa: fix too complex assertTrue (added state defensive copying)
don't duplicate package name in type argument lookup items