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