WIP: functional tests of modify functions in testsuite/test_modifiable.ml