One more TODO regarding arrays.
Hopefully covered all frickin' array cases.
A couple of additional array fixes.
Added command line parser lib Commons CLI.
Started proper command line handling.
New tests for statics.
Extended comment.
Fixed static field traversal.
Completely dynamic transformation enabled.
Some unit tests still to adapt.
Prepared support for treating array elements as separate regions
different from the array itself.
Updated javadoc for contracts.
Extended ArrayDim javadoc.