integrated chandy-misra-haas with RPC, not tested yet