Remove temporary hole in abstractions