Improve BranchCoverage in LoadPackageTest
Improve tests for LambdaToAlligator