Working on region_arithmetics unit test