Comigrate: clearer explanation graph when a dependency cannot be satisfied