JC: change wfid to wf_state. Added dynamic_validate in model. spec passes.