fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls
#1280
| Job | Run time |
|---|---|
| 7s | |
| 7s |
return; finish the soundness-gate small calls
#1280
| Job | Run time |
|---|---|
| 7s | |
| 7s |