import bool
import or

(true | false) => c

expect c

---

import bool
import or

(true | true) => c

expect c

---

import bool
import or

(true | true) => c

expect c

---

import bool
import or

(false | false) => c

don't expect c

---

proc {
  if (not bla):
    blubb
  if (not blubb):
    test
}

expect blubb
don't expect test