query' =
    Program definition $ fresh ["q", "res"] (call "query" [V "q", V "res"])
query' =
    Program definition $ fresh ["q", "res"] (call "query" [V "q", V "res"])
query' =
    Program definition $ fresh ["q", "res"] (call "query" [V "q", V "res"])