Necessary conditions on graceful labels: A study case on trees and other examples