Add returning side effect type to emulated methods
Add failing tests for static field mutation