integrated abstraction linking into the solver