knownset + merge : OK