// Check that location is reported correctly
// when included file has an error on the first line
+
.type Node <: symbol

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