Reset the imperative transformation to vanilla state.
Minor refactorings in CPP function generation.
Add expression/variable mutability modifier caching.
Add conditional dereferencing of mutable variable accesses.