Clean up transport_path_forall_hammer

Using the new tactics in terms is cleaner than messing with evars.