That's a good point, really this could be viewed as two coupled DEQs, one defined on [0,a] and the other defined on [a,c], each with a set of Robin BCs, with one of them shared (at a).
The two DEQs aren't independent though, since the BCs are Robin not Neumann. If we instead had...