add: nonfunctional reqs and constraints