// Self-healing showcase — recovery policies, heal/recover/sim CLI // // spanda demo self-healing // spanda heal examples/showcase/self_healing/rover.sd