# RUN: %kleaver -evaluate %s > %t.log

# RUN: grep "Query 0:	VALID" %t.log
# XFAIL: *
(query [false] false)