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.