Klee analysable NAT.
NAT refactorings.