I've noticed an inconsistent presentation of the flow from a compensation event to a compensation process. On it's own, Aris models it correctly (dashed / dotted line - like a message flow) but when it is within a subprocess it is modelled like a control flow (see below)
