anchor.diff:                      ExpState1 = atm_workflow_execution_exp_state_builder:expect_lane_run_rerunable({1, 1}, ExpState0),
                       {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_cancelled(ExpState1)}
                   end
  -            }
  +            },
  +            % assert cancelled execution can not be cancelled again
  +            after_hook = fun assert_ended_atm_workflow_execution_can_not_be_cancelled/1
           }]
       }).
   
  
positive.code:                     ExpState2 = atm_workflow_execution_exp_state_builder:expect_lane_run_removed({2, 1}, ExpState1),
                      {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_cancelled(ExpState2)}
                  end
              }
          }]
      }).
  
  
negative.code:                     ExpState2 = atm_workflow_execution_exp_state_builder:expect_lane_run_removed({2, 1}, ExpState1),
                      {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_cancelled(ExpState2)}
                  end
              },
              % assert cancelled execution can not be cancelled again
              after_hook = fun assert_ended_atm_workflow_execution_can_not_be_cancelled/1
          }]
      }).
  
  