Expand Java test programs for arrays and lazy boolean evaluation.

Merge test programs for array initialization and array length into one program.
Add code for testing correct handling of call by reference of Java arrays.

In addition to code for testing casual lazy boolean statements, add code for different uses of the ternary operator and side effects.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14004 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c