Continue work on mwov_minimal_wiv.