Anfonwch hwn fel neges destun: A data−flow approach to test multi−agent ASMs