BUGFIX: One additional state was needed for the value getting statements.
Added a simple test that showed an unexpected failure earlier