Change parameter names

reachableStates was leftover from copy paste.