singlepath: definition edges into S0 spill locs