reach-set-of-controls