Add more notation to insert test
Refactor save test