add a smart skip for instantiating the whole callee method, not very fine-grained but can pass testing on raytracer, now testing on dacapo