wf-env does not seem useful. tbind-tbind currently has termination issue. wip.