why not match DepHead here instead of the ParentHead == DepHead above?
```
case ParentHead of
    DepHead ->
        false;
    _ ->
        print_formatted_conflict(Graph, Parent, Dep),
        false
end
```

This can probably be simplified further.