Support contracts across packages.

[zzqatuber]

Code changes of this PR includes the general changes that support cross-package for NilAway. However, that part is not migrated to GitHub yet so I can only rebase onto zzq/function-contracts/general-nonnil. Ideally we should have another PR for the general changes to support cross-package between and rebase this PR to the PR.

What was done:

1. Pass around function contracts analyzed across packages.
2. Stop modifying the full triggers passed into inference engine; instead of having a new type Implication (which is exportable as package facts) to carry information from a FullTrigger and then adapt the engine to digest this new type.
3. Export and import contracts for full triggers of contracted functions across packages, in the form of implications.

Future work:
The current implementation does not work sometimes, because it creates a primitivizer in function analyzer but the position information this primitivizer obtains will be conflicting with those obtained from the primitivizer in accumulation analyzer.

Function analyzer cannot get the column number for every object from upstream, because unlike InferredMap exported in accumuulation analyzer, the Implication exported in function analyzer does not contain every exported object in upstream (We store only duplicable implications there)

Thus, a entirely new implementation is needed. We have to move all the logic of duplicating full triggers from function analyzer to accumalation analyzer (i.e., inference phase), so we maintain only one primitivizer and the position information (column number) of upstream objects can be obtained from upstream packages correctly.

PS:
Did not find integration tests here so I did not migrate integration cross-packge tests but they can be found in the internal version of this pull request.

[codecov]

Codecov Report

Merging #42 (4dd4a18) into zzq/function-contracts/general-nonnil (881b950) will decrease coverage by 1.55%.
The diff coverage is 65.71%.

@@                            Coverage Diff                            @@
##           zzq/function-contracts/general-nonnil      #42      +/-   ##
=========================================================================
- Coverage                                  87.55%   86.00%   -1.55%     
=========================================================================
  Files                                         54       54              
  Lines                                       8547     8994     +447     
=========================================================================
+ Hits                                        7483     7735     +252     
- Misses                                       906     1084     +178     
- Partials                                     158      175      +17     

Files Changed	Coverage Δ
...nction/functioncontracts/function_contracts_map.go	76.78% <ø> (ø)
inference/explained_bool.go	78.57% <ø> (ø)
inference/inferred_value.go	49.41% <2.94%> (-31.36%)	⬇️
assertion/function/analyzer.go	69.48% <52.77%> (-16.75%)	⬇️
inference/primitive.go	82.45% <82.14%> (-17.55%)	⬇️
inference/inferred_map.go	73.05% <95.45%> (+0.16%)	⬆️
assertion/function/functioncontracts/analyzer.go	82.26% <96.87%> (+3.69%)	⬆️
inference/engine.go	94.91% <96.87%> (-0.83%)	⬇️
accumulation/analyzer.go	87.62% <100.00%> (ø)
assertion/analyzer.go	71.87% <100.00%> (ø)
... and 2 more

... and 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more