Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
// REQUIRES: z3 // RUN: echo %clang_analyze_cc1 | FileCheck %s // CHECK: -analyzer-constraints=z3