If we swap an assignment that contains an invocation to a pure invoke statement, we need to update the callgraph accordingly