undefined functions taking parameters are buggy

[mchalupa]

we must assume they have modified the memory, otherwise it is unsound. Also I'm not sure we are adding def-use edges properly, because the callinst can be in constant expr (bitcast) and in that case we won't add the def-use edges at all