The following bugs have been fixed
- The implementation for the `Expr.proj` rule did not match our paper nor `RC.lean`.
The correct rule is:
```
| Expr.proj _ x => whenM (isOwned x) $ ownVar z
```
- We take the OwnsetSet (`O` in our paper) into account when computing
the fixpoint.
- `applyParamMap` and `mkInitParamMap` were not visiting the alternatives of `case` statements.
7148fc1078