New example that takes the max of four numbers.
Trying to make function arguments symbolic from within Klee.