Prototyping A&A ReSpecT in Maude