for file in array*; do
  # Strip prefix and suffix
  newname=$(echo "$file" | sed -E 's/^array[-_]//' | sed -E 's/_test\.mu$/.mu/')
  
  if [ "$file" != "$newname" ]; then
    echo "Renaming: $file -> $newname"
    mv "$file" "$newname"
  fi
done