Follow-up tasks for #291: - [ ] Add temporary variables for downcasts as well - [ ] Figure out false positive bug with weird ternary expressions (see [this test](https://github.com/kelloggm/object-construction-checker/blob/cb7de94cb8b9c1a9e6215eb65ea74152c073d970/object-construction-checker/tests/mustcall/ACRegularExitPointTest.java#L335-L339)) - [ ] Remove copy-pasted code by making `AccumulationTransfer` function protected; see [here](https://github.com/kelloggm/object-construction-checker/blob/cb7de94cb8b9c1a9e6215eb65ea74152c073d970/object-construction-checker/src/main/java/org/checkerframework/checker/objectconstruction/ObjectConstructionTransfer.java#L254-L265)
Follow-up tasks for #291:
AccumulationTransferfunction protected; see here