test(tests/lean/run): define div using wf package