This package contains test-cases for the model checker of models that reference library components.