Is there any way to simplify this async code to somehow merge the withAsync code

into the STM code? Looking at the code for tstABorCD it is not easy to see that

it is really just (A&&B)||(C&&D). Here is the code:

 

Thanks for any pointers,

Grant