Predicate Common::copy_call

predicate copy_call(ControlFlowNode fromnode, CallNode tonode)