Abstract: Dynamic modelling is a powerful tool for studying biological networks. Reachability (controllability), observability, and structural identifiability are classical system-theoretic properties of dynamical models. A model is structurally identifiable if the values of its parameters can in principle be determined from observations of its outputs. If model parameters are considered as constant state variables, structural identifiability can be studied as a generalization of observability. Thus, it is possible to assess the identifiability of a nonlinear model by checking the rank of its augmented observability matrix. When such rank test is performed symbolically, the result is of general validity for almost all numerical values of the variables. However, for special cases, such as specific values of the initial conditions, the result of such test can be misleading—that is, a structurally unidentifiable model may be classified as identifiable. An augmented observability rank test that specializes the symbolic states to particular numerical values can give hints of the existence of this problem. Sometimes it is possible to find such problematic values analytically, or via optimization. This manuscript proposes procedures for performing these tasks and discusses the relation between loss of identifiability and loss of reachability, using several case studies of biochemical networks.