Graph Inspection for Robotic Motion Planning: Do Arithmetic Circuits Help?