BacktrackingSolver: Reject dependency graphs with multiple different requirements applying to a single dependency

The falback SAT solver is better suited to handling these cases