[vigir_bs_msgs] SMGenerate returns a list of StateInstantiations
[vigir_bs_msgs] SMGenerate returns a list of StateInstantiations

team-vigir/vigir_behavior_synthesis,team-vigir/vigir_behavior_synthesis