kleerer: simplify make_symbolic

When size is 1, we do not need the multiplication.
kleerer: make handlePtrArg more readable

The computation of array members count was awkward.