assertions
test for destructuring in assertion #520