s/create_wfa/create_nonzero_wfa/;