Further improvements of the test cases

- improvement of the test cases
- correction: write effect to arrays added
- correction: inherited write effect added
- correction: deletion of references during recursive call fixed
improvements of the test cases