Added (commented out) test cases for destructuring in asserts and while loops (#1945)