path: root/test/smt/trivial.unsat.sail

default Order dec

$include <flow.sail>

$property
function prop((): unit) -> bool = {
  true
}