added new revert behavior to AssignmentStatement and added unit tests that verify it