tests on ref-expressions all passed