[INFO] cloning repository https://github.com/hjmkt/rfol
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hjmkt/rfol" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjmkt%2Frfol", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjmkt%2Frfol'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8fa19908f79b14c60482e0d5d094ffc14b275d2e
[INFO] checking hjmkt/rfol against try#bb9dbf1d07454a99066eabaabd5819851281494b for pr-80920
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjmkt%2Frfol" "/workspace/builds/worker-5/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hjmkt/rfol on toolchain bb9dbf1d07454a99066eabaabd5819851281494b
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/hjmkt/rfol
[INFO] finished tweaking git repo https://github.com/hjmkt/rfol
[INFO] tweaked toml for git repo https://github.com/hjmkt/rfol written to /workspace/builds/worker-5/source/Cargo.toml
[INFO] crate git repo https://github.com/hjmkt/rfol already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded assert_matches v1.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f9931a03aee7dcdf108328791c42987106b0106222176e35d8bc9fc93167d656
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "f9931a03aee7dcdf108328791c42987106b0106222176e35d8bc9fc93167d656", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f9931a03aee7dcdf108328791c42987106b0106222176e35d8bc9fc93167d656", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9931a03aee7dcdf108328791c42987106b0106222176e35d8bc9fc93167d656", kill_on_drop: false }`
[INFO] [stdout] f9931a03aee7dcdf108328791c42987106b0106222176e35d8bc9fc93167d656
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 74edfb615e3faf5adcd4fc0904ec7f4bedda10c580b79e40d69d4c2f7fd01480
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "74edfb615e3faf5adcd4fc0904ec7f4bedda10c580b79e40d69d4c2f7fd01480", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.82
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking assert_matches v1.4.0
[INFO] [stderr]     Checking itertools v0.10.0
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking rfol v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Axiom`
[INFO] [stdout]   --> src/proof.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Axiom(Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `WeakeningLeft`
[INFO] [stdout]   --> src/proof.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     WeakeningLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `WeakeningRight`
[INFO] [stdout]   --> src/proof.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     WeakeningRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ContractionLeft`
[INFO] [stdout]   --> src/proof.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     ContractionLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ContractionRight`
[INFO] [stdout]   --> src/proof.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     ContractionRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExchangeLeft`
[INFO] [stdout]   --> src/proof.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     ExchangeLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExchangeRight`
[INFO] [stdout]   --> src/proof.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     ExchangeRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndLeft1`
[INFO] [stdout]   --> src/proof.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     AndLeft1(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndLeft2`
[INFO] [stdout]   --> src/proof.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 44 |     AndLeft2(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndRight`
[INFO] [stdout]   --> src/proof.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     AndRight(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrLeft`
[INFO] [stdout]   --> src/proof.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     OrLeft(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrRight1`
[INFO] [stdout]   --> src/proof.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 47 |     OrRight1(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrRight2`
[INFO] [stdout]   --> src/proof.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     OrRight2(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ImpliesLeft`
[INFO] [stdout]   --> src/proof.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 |     ImpliesLeft(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ImpliesRight`
[INFO] [stdout]   --> src/proof.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 50 |     ImpliesRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NotLeft`
[INFO] [stdout]   --> src/proof.rs:51:5
[INFO] [stdout]    |
[INFO] [stdout] 51 |     NotLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NotRight`
[INFO] [stdout]   --> src/proof.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     NotRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForallLeft`
[INFO] [stdout]   --> src/proof.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     ForallLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForallRight`
[INFO] [stdout]   --> src/proof.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     ForallRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExistsLeft`
[INFO] [stdout]   --> src/proof.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     ExistsLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExistsRight`
[INFO] [stdout]   --> src/proof.rs:56:5
[INFO] [stdout]    |
[INFO] [stdout] 56 |     ExistsRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Cut`
[INFO] [stdout]   --> src/proof.rs:57:5
[INFO] [stdout]    |
[INFO] [stdout] 57 |     Cut(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `prove_with_lk`
[INFO] [stdout]    --> src/solver.rs:239:8
[INFO] [stdout]     |
[INFO] [stdout] 239 | pub fn prove_with_lk(fml: Formula, max_depth: u32) -> Option<LK>{
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 23 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Axiom`
[INFO] [stdout]   --> src/proof.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Axiom(Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `WeakeningLeft`
[INFO] [stdout]   --> src/proof.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     WeakeningLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `WeakeningRight`
[INFO] [stdout]   --> src/proof.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     WeakeningRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ContractionLeft`
[INFO] [stdout]   --> src/proof.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     ContractionLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ContractionRight`
[INFO] [stdout]   --> src/proof.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     ContractionRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExchangeLeft`
[INFO] [stdout]   --> src/proof.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     ExchangeLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExchangeRight`
[INFO] [stdout]   --> src/proof.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     ExchangeRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndLeft1`
[INFO] [stdout]   --> src/proof.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     AndLeft1(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndLeft2`
[INFO] [stdout]   --> src/proof.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 44 |     AndLeft2(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `AndRight`
[INFO] [stdout]   --> src/proof.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     AndRight(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrLeft`
[INFO] [stdout]   --> src/proof.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     OrLeft(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrRight1`
[INFO] [stdout]   --> src/proof.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 47 |     OrRight1(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `OrRight2`
[INFO] [stdout]   --> src/proof.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     OrRight2(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ImpliesLeft`
[INFO] [stdout]   --> src/proof.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 |     ImpliesLeft(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ImpliesRight`
[INFO] [stdout]   --> src/proof.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 50 |     ImpliesRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NotLeft`
[INFO] [stdout]   --> src/proof.rs:51:5
[INFO] [stdout]    |
[INFO] [stdout] 51 |     NotLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NotRight`
[INFO] [stdout]   --> src/proof.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     NotRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForallLeft`
[INFO] [stdout]   --> src/proof.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     ForallLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForallRight`
[INFO] [stdout]   --> src/proof.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     ForallRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExistsLeft`
[INFO] [stdout]   --> src/proof.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     ExistsLeft(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ExistsRight`
[INFO] [stdout]   --> src/proof.rs:56:5
[INFO] [stdout]    |
[INFO] [stdout] 56 |     ExistsRight(Box<LK>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Cut`
[INFO] [stdout]   --> src/proof.rs:57:5
[INFO] [stdout]    |
[INFO] [stdout] 57 |     Cut(Box<[LK; 2]>, Sequent),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `prove_with_lk`
[INFO] [stdout]    --> src/solver.rs:239:8
[INFO] [stdout]     |
[INFO] [stdout] 239 | pub fn prove_with_lk(fml: Formula, max_depth: u32) -> Option<LK>{
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 23 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.50s
[INFO] running `Command { std: "docker" "inspect" "74edfb615e3faf5adcd4fc0904ec7f4bedda10c580b79e40d69d4c2f7fd01480", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74edfb615e3faf5adcd4fc0904ec7f4bedda10c580b79e40d69d4c2f7fd01480", kill_on_drop: false }`
[INFO] [stdout] 74edfb615e3faf5adcd4fc0904ec7f4bedda10c580b79e40d69d4c2f7fd01480