rename abstract refinitations and add method to abstractionrefinedone