8016177: structural most specific and stucknessReviewed-by: jjg, vromeroContributed-by: maurizio.cimadamore@oracle.com