TracingMonadWithWorkflowTests added to the project