let path_opt_fast_foundf seen notseen havechecked xy xy2 = (seen @ (Geometry.line xy xy2), havechecked, List.rev havechecked, [])