Add a trivial program for querying boolean values