The output domain parameter is `o_domain` for the synchronous one and `domain` for the asynchronous one