Fix condition typing: find the least common heritage ancestor of the two types of then and else