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