least common subsumer