// Check errors inside included files
// are reported at correct location
.type Node <: symbol

.decl reachable   (node1:Node, node2:Node)
.input reachable   ()
        blah %
.decl same_clique (node1:Node, node2:Node)
.input same_clique ()
.decl edge        (node1:Node, node2:Node)
.input edge        ()
