ada: Make use of Cannot_Be_Superflat flag on N_Range nodes