Deactivate symbolic variable syntax generation for the Maude symbolic backend.