Report of CE on Abstraction and Instantiation