Function possibleTargets

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