[1.3] failure: Input doesn't match filter: false

if false
  ^
[1.1] failure: Input doesn't match filter: not

not true
^
[1.8] parsed: (if~true)