fix 1). exclude constant argument in CallInst's ref set 2). mitigate calling context problem of Weiser's algorithm