slic: FSS, fix proper test for memory man stuff

We have to pass down the callie, not the call instruction.
slic: FSS, handle memset

We omitted this? Crap...
slic: FSS, add helpers for DEF/REFArray

DEFArray will be used on another place for klee_make_symbolic.
slic: FSS, handle klee_make_symbolic

Similar to memset.
slic: FSS, reference length argument of malloc

We need it, if it is not a constant.
slic: FSS, unify constant reference handling

Use isConstantValue on all places.
pts-to: do not use typename

There is no template and it can cause errors.