Work on mwov_minimal_wiv.