I've added the account that has admin rights on the server (and which is used to run the pegasus WMI mapper service) is added to both the Global credentials and the system credentials.
I've checked with Wireshark: during a discovery/identify, there is traffic from the SIM server to the VCRM server on port 5989, the WBEM port. But nothing is logged in the Pegasus access log.
Joost