Back in #545 we introduced support for a new constraint in solve mode. This actually implies a new potential violation type for plan mode that should be taken into account.