chore(library/data/prod/wf): remove dependency on opaque theorem