Revert "integrated abstraction linking into the solver"

This reverts commit c9a1840e9a86fb74c52ced2896241c9328102be6.