Towards a Maude tool for model checking temporal graph properties