A Schema-aware Logic Reformulation for Graph Reachability