Building a Query. First, the user selects a query template from the list on the left. A picture of the state machine and a short description are provided to make the query easy to understand. Next, the user creates sets of program points for the transitions. Once the sets of program points are created, they can be assigned to the template transitions. The query illustrated above checks that initialize_dns is called before any other routines in the DNS library.