It sure sounds like a violation to me. This is what the user manual says in "trouble shooting"
Circuit Fault (no power on a circuit)
Possible Cause: The circuit breaker for this circuit may be tripped, or may have the wrong rating.
Solution: Reset the breaker, or have an electrician upgrade the breaker rating, as required.
Possible Cause: If there is still no power, the fuse may have blown.
Solution: Contact an electrician to replace the fuse.
I suppose they could call this supplemental protection but then it would need coordination with the BCOCD. If they are both the same size it is a race to see who blows.