adjusted CallInst rebuilding to handle pointer arguments within user defined functions
runtime checks for pointers arguments in non-inlined functions implemented