Some Experiments on the Predicate Power of ML Models - The Case of the “Shortest Path Problem”