I have yet an another question. I have a working costraint:

```
@variable(prmx, PRODAMOUNT[op_k in keys(_ORDER_PRODUCTs_ALL), u_k in keys(UNITS), t in TIME], Int, lower_bound = 0)
for f_f_k in _FORB
for (op_k1, op1) in _ORDER_PRODUCTs_ALL
if _PRODUCTs_ALL[op1["product"]]["familly"] == split(f_f_k,"-")[1]
@constraint(
prmx,
[u_k in keys(UNITS), t in TIME[1:end - 3]],
PRODAMOUNT[op_k1, u_k, t]
=> {
sum(PRODAMOUNT[op_k, u_k, t + a]
for (op_k, op) in _ORDER_PRODUCTs_ALL, a in [1,2]
if _PRODUCTs_ALL[op["product"]]["familly"] == split(f_f_k,"-")[2]
) == 0
}
)
end
end
end
```

This constraint will prohibit moving from forbidden product families. Now my question is how to denote that this actually happens? I mean if this constraint actually is used in the model.