Trying to find least common subsumer.