     case goto_trace_stept::typet::SPAWN:     case goto_trace_stept::typet::MEMORY_BARRIER:     case goto_trace_stept::typet::ATOMIC_BEGIN:     case goto_trace_stept::typet::ATOMIC_END:     case goto_trace_stept::typet::DEAD:     case goto_trace_stept::typet::CONSTRAINT:     case goto_trace_stept::typet::SHARED_READ:     case goto_trace_stept::typet::SHARED_WRITE:       break;      case goto_trace_stept::typet::NONE:       UNREACHABLE;     }   } }  