for clarity they actually can resign if they accept to lose all severance pay, but they cannot get another job if they don't, and the government refuses to fire them because that would mean to pay them damages, so they are in a bind.