Fix `stop` bug in wf_test (found with dialyzer, yo)