Deterministic Graph-Walking Program Mining