Lower statepoints with multi-def targets.