Finding Common Ancestors and Disjoint Paths in DAGs