test renaming and abstraction