Returns a list of possible state names for sm, or an empty list if no transitions are possible.