Indirect calls are now also taken into account
This is not ideal yet. A strategy as an argument to a CallT is treated as if it's called from the declaring strategy, while that's not the case in reality.