Fixed strategy extraction bug for liveness guarantees that involved non-nexted variables.