Improvement of the test cases

- improvement of the test cases
- correction: behavior of return statements for arrays
- correction: invalid return and parameter references