Predicativity assumption for terck

[ice1000]

This partially addresses #907. There are two issues left:

• Unfold some simple decls before tercking. This cannot be done because TermConsumer does not allow blocking a sub-tree traversal. /cc @wsx-ucb
• Predicativity assumption for Type

[codecov]

Codecov Report

Merging #908 (531579e) into main (b46ac96) will decrease coverage by 0.03%.
The diff coverage is 70.00%.

@@             Coverage Diff              @@
##               main     #908      +/-   ##
============================================
- Coverage     82.46%   82.44%   -0.03%     
- Complexity     3392     3393       +1     
============================================
  Files           283      283              
  Lines         10340    10345       +5     
  Branches       1247     1248       +1     
============================================
+ Hits           8527     8529       +2     
- Misses         1102     1103       +1     
- Partials        711      713       +2     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/terck/CallResolver.java	81.42% <70.00%> (-3.19%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ice1000]

bors merge

[bors]

Build succeeded:

• commit-check
• gradle-check