I agree this is not clear and the logic would be to have precondition checked only for libraries.

We will check the implementation.