fix eliminate after wrap
improve solver
write more details when solving