verify-calls: check that `call.stack` is defined