Inferring Safe Maude Programs with ÁTAME