Expand Java test programs for arrays and lazy boolean evaluation.

Test program for arrays now checks correct handling of call by reference in addition to correct array initialization.
Thus rename it to reflect this change.
 
Test program for lazy boolean evaluation now checks different applications of the ternary operator and side effects in addition to casual boolean statements.



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