Raise an error if an argument mutates WFRD