Some examples don't show consistent checking, i.e. less equations than number of variables, e.g. the models within the Examples.centralMetabolism package.
This is the case with early versions of BioChem, e.g. 1.0.1 and is not due to the recent changes.