Fix anomaly caused by transport_path_forall_hammer
Add another path_forall example