Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
# Versuch Produce aspif output with clingo: ```sh clingo test.lp --pre=aspif > test.aspif ``` Run versuch: ```sh cargo run --example versuch test.aspif -v ```