- Never introduce casts for ldobj-address-chains - Add special-case to TransformExpressionTrees: transform addressof(ldloc) to ldloca - Classify foreach and using variables as readonly lvalues