fix bug in term-net insertion function: don't ignore remaining keys when processing atom nodes
fix bug in term-net insertion function:
don't ignore remaining keys when processing atom nodes

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script