coinductive Graph, inductive A*