- abstraction graph finished