Fixed property-checker bug in Graph; introduced Path and tests.