edits in tests
checking abstract refinements