bug #367: fix double copies in atWithInsertion, and add respective unit-test
2 files changed