add a warning if parameters are not bound to be >=0 in the initial state