As can be ascertained by tracing in Pipeline/Driver.hs, we evaluate the Package.juvix file multiple times. This should not happen, but may be cumbersome to change with the current pipeline architecture.