Running to fatal error in and expression

[t0anh]

What Git revision are you using?

• v1.0.25-alpha
• v1.0.26-alpha

  What operating system are you using, and which version?

• [x] Linux / Ubuntu
• [ ] Linux / Other
• [ ] macOS
• [ ] Windows

Describe what the problem is?

This snippet would result a fatal error

test panic_aiken() {
  and {
    True,
    should_fail(1),
  }
}

fn should_fail(num) {
  expect num == 0
  True
}

// aiken check -m panic_aiken
   aiken::fatal::error
   Whoops! You found a bug in the Aiken compiler.

   Please report this error at https://github.com/aiken-lang/aiken/issues/new.
   In your bug report please provide the information below and if possible the code
   that produced it.

   Operating System: linux
   Architecture:     x86_64
   Version:          v1.0.26-alpha+075668b

   crates/aiken-project/src/test_framework.rs:1148:39

       called `Result::unwrap()` on an `Err` value: ()

Note that the True expression must come first the fail expression to reproduce this error

What should be the expected behavior?

Should return error instead of panic

[rvcas]

cc @MicroProofs I originally thought this was a zero arg function thing but it seems like it's not? Do you know what could be wrong here?