Check export for solver for fixed AKs with restricted availability
The JSON export for the solver should enforce that a fixed AK is actually fixed to that timeslot.
I am not sure if we the current code does this for AKs with restricted availability.
Additionally, we might want to mark them in a fashion that the solver can simply fix the corresponding variables.