std::vector<std::shared_ptr<Step>> Step::successors(std::shared_ptr<Step> shared_this) const {
std::vector<std::shared_ptr<Step>> suc;
std::vector<std::shared_ptr<Step>> Step::successors(std::shared_ptr<Step> shared_this) const {
std::vector<std::shared_ptr<Step>> suc;