[ Agda ] Changes due to the new --exact-split option