Add traverse test

Add overload with default state to effect run